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 |
