 Isabell Pflug
|
47e26c83d4
|
♻️ Cleaned up includes for inherited KCNF class.
|
7 days ago |
|
Isabell Pflug
|
1467767525
|
♻️ Inherit DIMACS writing and reading code too.
|
7 days ago |
|
Isabell Pflug
|
2e31b44efa
|
♻️ Added general CNF class that KCNF now inherits.
|
7 days ago |
|
Isabell Pflug
|
849ed2761f
|
✨ Added DIMACS reader to KCNF class.
|
7 days ago |
|
Isabell Pflug
|
706ef6d3bc
|
🐛 Changed the indices sampling logic to use lists to prevent duplicate clauses.
|
4 weeks ago |
|
Isabell Pflug
|
3894856d26
|
🎉 Added random_kcnf project.
|
4 weeks ago |