https://github.com/markirch/sat-modulo-symmetries
Tip revision: a442fd29e85c0ec1078a6522da81f799f003cdbf authored by muak1234 on 26 July 2023, 12:44:04 UTC
Update: consistent argument naming; multi-graphs; examples; ...
Update: consistent argument naming; multi-graphs; examples; ...
Tip revision: a442fd2
| File | Mode | Size |
|---|---|---|
| cadical-master | ||
| 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 |
README.md
Loading README.md ...
