File list (Check if you may need any files):
minisat
.......\mtl
.......\...\Alg.h
.......\...\BasicHeap.h
.......\...\BoxedVec.h
.......\...\Heap.h
.......\...\Map.h
.......\...\Queue.h
.......\...\Sort.h
.......\...\Vec.h
.......\...\template.mk
.......\core
.......\....\Main.C
.......\....\Solver.C
.......\....\Solver.h
.......\....\SolverTypes.h
.......\....\Makefile
.......\simp
.......\....\Main.C
.......\....\SimpSolver.C
.......\....\SimpSolver.h
.......\....\Makefile
.......\LICENSE
.......\README
Download