|
glucose@674dbba75b
|
changed minisat to glucose
|
2026-05-12 10:39:58 +02:00 |
|
.gitignore
|
changed minisat to glucose
|
2026-05-12 10:39:58 +02:00 |
|
calculate.cpp
|
Added calculation using SAT
|
2026-07-10 15:55:10 +02:00 |
|
calculate_edges.cpp
|
start of PP-definitions
|
2026-07-28 17:27:22 +02:00 |
|
core.cpp
|
Fixed memory leak
|
2026-05-18 20:51:42 +02:00 |
|
core.hpp
|
Start of Relation Classes calculation
|
2026-05-18 16:46:34 +02:00 |
|
main.cpp
|
Loaded Dima clones
|
2026-07-17 15:58:34 +02:00 |
|
Makefile
|
start of PP-definitions
|
2026-07-28 17:27:22 +02:00 |
|
old-main.cpp
|
Calculating edges in paralel
|
2026-07-13 15:58:50 +02:00 |
|
pp-defs.cpp
|
start of PP-definitions
|
2026-07-28 17:27:22 +02:00 |
|
test.cpp
|
refactoring directory structure
|
2026-05-18 14:55:09 +02:00 |
