Revision 1092: /trunk/minisat

• ..
• DotNet.C
• Global.h
• Heap.h
• LICENSE
• Main.C
• Makefile
• README
• Solver.C
• Solver.h
• SolverTypes.h
• Sort.h
• TODO
• VarOrder.h
• exampleproblem