Index of /src/ipasir-sys-0.3.0/vendor/cadical/scripts/

../
README.md                                          07-Jul-2020 20:13                1595
build-and-test-all-configurations.sh               07-Jul-2020 20:13                2565
check-options-occur.sh                             07-Jul-2020 20:13                 233
colors.sh                                          07-Jul-2020 20:13                 487
extend-solution.sh                                 07-Jul-2020 20:13                1294
generate-cubes.sh                                  07-Jul-2020 20:13                 684
generate-embedded-options-default-list.sh          07-Jul-2020 20:13                 288
generate-options-range-list.sh                     07-Jul-2020 20:13                 435
get-git-id.sh                                      07-Jul-2020 20:13                 124
make-build-header.sh                               07-Jul-2020 20:13                2579
make-src-release.sh                                07-Jul-2020 20:13                1055
normalize-white-space.sh                           07-Jul-2020 20:13                 138
prepare-sc2020-submission.sh                       07-Jul-2020 20:13                1339
run-cadical-and-check-proof.sh                     07-Jul-2020 20:13                1332
run-simplifier-and-extend-solution.sh              07-Jul-2020 20:13                1482
update-example-in-cadical-header-file.sh           07-Jul-2020 20:13                 543
update-version.sh                                  07-Jul-2020 20:13                 411