https://doi.org/10.5281/zenodo.17607862
| File | Mode | Size |
|---|---|---|
| .github | ||
| tsl | ||
| CMakeLists.txt | -rw-r--r-- | 760 bytes |
| LICENSE | -rw-r--r-- | 1.0 KB |
| README.md | -rw-r--r-- | 3.5 KB |
| cnf.h | -rw-r--r-- | 14.8 KB |
| cnf2wl.h | -rw-r--r-- | 13.0 KB |
| formula.h | -rw-r--r-- | 590 bytes |
| group_analyzer.h | -rw-r--r-- | 96.2 KB |
| hypergraph.h | -rw-r--r-- | 14.7 KB |
| parser.h | -rw-r--r-- | 5.6 KB |
| predicate.h | -rw-r--r-- | 20.4 KB |
| proof.h | -rw-r--r-- | 47.0 KB |
| satsuma.cpp | -rw-r--r-- | 16.3 KB |
| satsuma.h | -rw-r--r-- | 20.6 KB |
| utility.h | -rw-r--r-- | 6.9 KB |
README.md
Loading README.md ...
