https://github.com/markirch/sat-modulo-symmetries
Revision 10439bdba3a33a335c2ee446f6ad029f61e6a44f authored by Manfred Scheucher on 15 July 2023, 09:19:12 UTC, committed by GitHub on 15 July 2023, 09:19:12 UTC
build script stop at error
1 parent c4b9040
Tip revision: 10439bdba3a33a335c2ee446f6ad029f61e6a44f authored by Manfred Scheucher on 15 July 2023, 09:19:12 UTC
Update build-and-install.sh
Update build-and-install.sh
Tip revision: 10439bd
| File | Mode | Size |
|---|---|---|
| cadical-internal-theory-propagation | ||
| docs | ||
| encodings | ||
| pysms | ||
| src | ||
| .readthedocs.yaml | -rw-r--r-- | 447 bytes |
| CMakeLists.txt | -rw-r--r-- | 1.1 KB |
| LICENSE | -rw-r--r-- | 1.0 KB |
| README.md | -rw-r--r-- | 99 bytes |
| build-and-install-local.sh | -rwxr-xr-x | 407 bytes |
| build-and-install.sh | -rwxr-xr-x | 383 bytes |
| mkdocs.yml | -rw-r--r-- | 585 bytes |
| pyproject.toml | -rw-r--r-- | 792 bytes |
Computing file changes ...
README.md
Loading README.md ...
