Chenyang Pan

Downloads

minisat.zip
windows binary version of minisat compiled under VS 2017(runtime)