Vaya's read on this project
Problem, audience, market, and the verdict — sign in to see it.
Updates
March 2017
- Merge pull request #1 from ceh/minor-fixes
- solver_trail_test: fix printf type
- solver_test: simplify return
- solver: simplify for
- solver: fix type in Printf statement
- Update README.md
February 2017
- dimacs: allow clauses that don't end in zero
- dimacs: variables for clauses can be split across lines
- more tests
- Create LICENSE.md
- Add examples
- more docs
- Assignments to get the result
- avoid allocating new memory for every learned clause
- avoid copies if possible
- document the propagation process, minor perf improvements
- make all tests pass
- credit where credit is due, minisat!
- packed => cnf
- don't benchmark pack time