https://bitbucket.org/coreo-group/pbo-ihs-solver/
Tip revision: 0fcd116393363fc7f4f9cdabd572f0b4ddd19da4 authored by Pavel Smirnov on 25 April 2022, 13:56:36 UTC
SAT 2022 release
SAT 2022 release
Tip revision: 0fcd116
File | Mode | Size |
---|---|---|
cp21-data | ||
sat22-data | ||
solver | ||
.gitignore | -rw-r--r-- | 624 bytes |
LICENSE | -rw-r--r-- | 3.5 KB |
README.md | -rw-r--r-- | 6.0 KB |