Zander/sat-solver
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
sat-solver/tests
History
Zander Thannhauser 229f654eb5 if a test runs a long time, run it with verbose
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