Index of /src/cadical-sys-0.1.0/cadical/scripts/

../
README.md                                          24-Jul-2006 01:21                1595
build-and-test-all-configurations.sh               24-Jul-2006 01:21                2393
check-options-occur.sh                             24-Jul-2006 01:21                 233
colors.sh                                          24-Jul-2006 01:21                 487
extend-solution.sh                                 24-Jul-2006 01:21                1294
generate-cubes.sh                                  24-Jul-2006 01:21                 684
generate-embedded-options-default-list.sh          24-Jul-2006 01:21                 288
generate-options-range-list.sh                     24-Jul-2006 01:21                 494
get-git-id.sh                                      24-Jul-2006 01:21                 124
make-build-header.sh                               24-Jul-2006 01:21                2668
make-src-release.sh                                24-Jul-2006 01:21                1182
normalize-white-space.sh                           24-Jul-2006 01:21                 138
prepare-sc2021-submission.sh                       24-Jul-2006 01:21                1187
run-cadical-and-check-proof.sh                     24-Jul-2006 01:21                1332
run-simplifier-and-extend-solution.sh              24-Jul-2006 01:21                1826
update-example-in-cadical-header-file.sh           24-Jul-2006 01:21                 543
update-version.sh                                  24-Jul-2006 01:21                 411