https://github.com/ASchidler/coloring
Tip revision: dd03517187447fd44cfd9f03db6ab7313a21a64a authored by Andre Schidler on 14 March 2022, 12:24:58 UTC
Initial commit
Initial commit
Tip revision: dd03517
File | Mode | Size |
---|---|---|
cadical | ||
glucose30 | ||
instances | ||
CMakeLists.txt | -rw-r--r-- | 891 bytes |
README | -rw-r--r-- | 2.0 KB |
boi.h | -rw-r--r-- | 20.6 KB |
bucket_queue.h | -rw-r--r-- | 2.7 KB |
clique.h | -rw-r--r-- | 27.1 KB |
conflict_graph.cpp | -rw-r--r-- | 3.4 KB |
conflict_graph.h | -rw-r--r-- | 14.2 KB |
geometric.h | -rw-r--r-- | 2.6 KB |
graph_generator.h | -rw-r--r-- | 6.6 KB |
heuristics.h | -rw-r--r-- | 60.0 KB |
main_benchmark.cpp | -rw-r--r-- | 14.8 KB |
planarity.h | -rw-r--r-- | 289 bytes |
reducer.h | -rw-r--r-- | 7.1 KB |
run.sh | -rwxr-xr-x | 118 bytes |
sat_encode.h | -rw-r--r-- | 21.9 KB |
sat_encode2.h | -rw-r--r-- | 18.5 KB |
sat_search.h | -rw-r--r-- | 114.7 KB |
solution.h | -rw-r--r-- | 4.0 KB |