Index of /github/model-checking/kani/scripts/setup/ubuntu/

../
install_cbmc.sh                                    04-Aug-2023 22:55                1021
install_deps.sh                                    04-Aug-2023 22:55                1559
install_doc_deps.sh                                04-Aug-2023 22:55                 219
install_viewer.sh                                  04-Aug-2023 22:55                 378