add draft for DIMACS cnf parser

computational-problem-solving · Oct 16, 2015 · 25a6b91 · 25a6b91
1 parent c4712bb
commit 25a6b91
Show file tree

Hide file tree

Showing 7 changed files with 369 additions and 56 deletions.
diff --git a/README.md b/README.md
@@ -114,3 +114,4 @@ require( [ "aureooms-js-sat" ] , function ( sat ) { ... } ) ;
 ## Reference
 
   - [Simple solver in Python](http://sahandsaba.com/understanding-sat-by-implementing-a-simple-sat-solver-in-python.html)
+  - [SATLIB](http://www.cs.ubc.ca/~hoos/SATLIB/benchm.html)