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 |
|---|---|---|
| CMakeLists.txt | -rw-r--r-- | 2.3 KB |
| cadical.hpp | -rw-r--r-- | 41.1 KB |
| coloring.cpp | -rw-r--r-- | 21.2 KB |
| coloring.h | -rw-r--r-- | 1.4 KB |
| coloringCheck.cpp | -rw-r--r-- | 14.1 KB |
| coloringCheck.hpp | -rw-r--r-- | 5.3 KB |
| connectedChecker.cpp | -rw-r--r-- | 1016 bytes |
| connectedChecker.hpp | -rw-r--r-- | 282 bytes |
| connectedComponents.cpp | -rw-r--r-- | 7.2 KB |
| connectedComponents.h | -rw-r--r-- | 136 bytes |
| embeddabilityCheck.cpp | -rw-r--r-- | 34.7 KB |
| embeddabilityCheck.hpp | -rw-r--r-- | 893 bytes |
| forbiddenSubgraph.cpp | -rw-r--r-- | 2.4 KB |
| forbiddenSubgraph.hpp | -rw-r--r-- | 2.3 KB |
| graphChecker.hpp | -rw-r--r-- | 6.4 KB |
| main.cpp | -rw-r--r-- | 26.2 KB |
| mainOldParsing.txt | -rw-r--r-- | 15.1 KB |
| minimalityCheck.cpp | -rw-r--r-- | 39.5 KB |
| minimalityCheck.hpp | -rw-r--r-- | 6.0 KB |
| minimalityCheckCommon.cpp | -rw-r--r-- | 13.7 KB |
| minimalityCheck_dir.cpp | -rw-r--r-- | 16.3 KB |
| planarity.cpp | -rw-r--r-- | 6.3 KB |
| planarity.hpp | -rw-r--r-- | 1.5 KB |
| solveCadicalClass.cpp | -rw-r--r-- | 17.8 KB |
| solveCadicalClass.hpp | -rw-r--r-- | 10.6 KB |
| solveClingoClass.cpp | -rw-r--r-- | 13.7 KB |
| solveClingoClass.hpp | -rw-r--r-- | 2.1 KB |
| solver.cpp | -rw-r--r-- | 21.6 KB |
| solver.hpp | -rw-r--r-- | 8.4 KB |
| universal.cpp | -rw-r--r-- | 2.1 KB |
| universal.hpp | -rw-r--r-- | 838 bytes |
| useful.cpp | -rw-r--r-- | 4.1 KB |
| useful.h | -rw-r--r-- | 1.6 KB |
