It didn’t take long, but here’s minisat 0.6 which actually switches to the C++ minisat from the C minisat that was used so far. That means new functions such as unsat_core are now available!
2 Likes
It didn’t take long, but here’s minisat 0.6 which actually switches to the C++ minisat from the C minisat that was used so far. That means new functions such as unsat_core are now available!