sat-solver/tests
2025-03-07 20:14:32 -06:00
..
satlib/uf20-91 if a test runs a long time, run it with verbose 2025-03-07 20:14:32 -06:00
0.cnf now we satlib! and verification! and testing! 2025-03-07 19:58:28 -06:00
1.cnf now we satlib! and verification! and testing! 2025-03-07 19:58:28 -06:00
2.cnf now we satlib! and verification! and testing! 2025-03-07 19:58:28 -06:00
3.cnf now we satlib! and verification! and testing! 2025-03-07 19:58:28 -06:00
all.cnf now we satlib! and verification! and testing! 2025-03-07 19:58:28 -06:00
none.cnf now we satlib! and verification! and testing! 2025-03-07 19:58:28 -06:00