SAT Solver. Accepts CNF file as input and returns SATISFIABLE and the respective answer, or UNSATISFIABLE




File list:
minisat
......\core
......\....\depend.mk
......\....\Dimacs.h
......\....\Main.cc
......\....\Main.cc~
......\....\Main.o
......\....\Makefile
......\....\minisat
......\....\Solver.cc
......\....\Solver.cc~
......\....\Solver.h
......\....\Solver.h~
......\....\Solver.o
......\....\SolverTypes.h
......\doc
......\...\ReleaseNotes-2.2.0.txt
......\mtl
......\...\Alg.h
......\...\Alloc.h
......\...\config.mk
......\...\Heap.h
......\...\IntTypes.h
......\...\Map.h
......\...\Queue.h
......\...\Sort.h
......\...\template.mk
......\...\template.mk~
......\...\Vec.h
......\...\XAlloc.h
......\simp
......\....\Main.cc
......\....\Makefile
......\....\SimpSolver.cc
......\....\SimpSolver.h
......\utils
......\.....\Makefile
......\.....\Options.cc
......\.....\Options.h
......\.....\Options.o
......\.....\ParseUtils.h
......\.....\System.cc
......\.....\System.h
......\.....\System.o
......\LICENSE
......\README