https://github.com/TakehideSoh/SAF
Tip revision: 3b45819df15225431050eeb48c1a31ffdd580af7 authored by Daniel Le Berre on 22 June 2023, 20:02:19 UTC
Typo in README
Typo in README
Tip revision: 3b45819
| File | Mode | Size |
|---|---|---|
| README.md | -rw-r--r-- | 1.6 KB |
| build-and-test-all-configurations.sh | -rwxr-xr-x | 2.3 KB |
| check-options-occur.sh | -rwxr-xr-x | 233 bytes |
| colors.sh | -rw-r--r-- | 487 bytes |
| extend-solution.sh | -rwxr-xr-x | 1.3 KB |
| generate-cubes.sh | -rwxr-xr-x | 684 bytes |
| generate-embedded-options-default-list.sh | -rwxr-xr-x | 288 bytes |
| generate-options-range-list.sh | -rwxr-xr-x | 435 bytes |
| get-git-id.sh | -rwxr-xr-x | 124 bytes |
| make-build-header.sh | -rwxr-xr-x | 2.5 KB |
| make-src-release.sh | -rwxr-xr-x | 1.2 KB |
| normalize-white-space.sh | -rwxr-xr-x | 138 bytes |
| prepare-sc2021-submission.sh | -rwxr-xr-x | 1.2 KB |
| run-cadical-and-check-proof.sh | -rwxr-xr-x | 1.3 KB |
| run-simplifier-and-extend-solution.sh | -rwxr-xr-x | 1.8 KB |
| update-example-in-cadical-header-file.sh | -rwxr-xr-x | 543 bytes |
| update-version.sh | -rwxr-xr-x | 411 bytes |
README.md
Loading README.md ...
