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
.......\LICENSE
.......\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
.......\README
.......\simp\Main.cc
.......\....\Makefile
.......\....\SimpSolver.cc
.......\....\SimpSolver.h
.......\utils\Makefile
.......\.....\Options.cc
.......\.....\Options.h
.......\.....\Options.o
.......\.....\ParseUtils.h
.......\.....\System.cc
.......\.....\System.h
.......\.....\System.o
.......\core
.......\doc
.......\mtl
.......\simp
.......\utils
minisat