https://github.com/crillab/dsyrup
Tip revision: d6bc7628958a3a05947cf6bfbee0a4bd3ad4c28b authored by nicolas.szczepanski on 26 July 2022, 08:24:12 UTC
licence
licence
Tip revision: d6bc762
File | Mode | Size |
---|---|---|
Config | ||
Manager | ||
Solvers | ||
Test | ||
dimacs_easy_sat | ||
dimacs_easy_unsat | ||
DataCoding.h | -rw-r--r-- | 228 bytes |
LICENSE | -rw-r--r-- | 1.1 KB |
MessageCoding.h | -rwxr-xr-x | 2.7 KB |
OptionCoding.h | -rw-r--r-- | 974 bytes |
README.md | -rw-r--r-- | 2.1 KB |
dsyrup.png | -rw-r--r-- | 49.5 KB |
hostfile | -rwxr-xr-x | 0 bytes |
launch.sh | -rwxr-xr-x | 4.3 KB |
makefile | -rw-r--r-- | 844 bytes |