package info (click to toggle)
cadical 2.1.3-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 4,216 kB
  • sloc: cpp: 36,901; ansic: 4,521; sh: 1,770; makefile: 91

Folder: scripts

d .. (parent)
- - rw-r--r-- 1,595 README.md
- - rwxr-xr-x 2,393 build-and-test-all-configurations.sh
- - rwxr-xr-x 233 check-options-occur.sh
- - rw-r--r-- 487 colors.sh
- - rwxr-xr-x 1,294 extend-solution.sh
- - rwxr-xr-x 684 generate-cubes.sh
- - rwxr-xr-x 288 generate-embedded-options-default-list.sh
- - rwxr-xr-x 494 generate-options-range-list.sh
- - rwxr-xr-x 124 get-git-id.sh
- - rwxr-xr-x 2,668 make-build-header.sh
- - rwxr-xr-x 1,182 make-src-release.sh
- - rwxr-xr-x 138 normalize-white-space.sh
- - rwxr-xr-x 1,187 prepare-sc2021-submission.sh
- - rwxr-xr-x 1,332 run-cadical-and-check-proof.sh
- - rwxr-xr-x 1,826 run-simplifier-and-extend-solution.sh
- - rwxr-xr-x 543 update-example-in-cadical-header-file.sh
- - rwxr-xr-x 411 update-version.sh