Improve documentation descriptions of how to use SAT solvers

wkschwartz / pigosat

Go (golang) bindings for Picosat, the satisfiability solver

Other

15 stars 4 forks source link

Improve documentation descriptions of how to use SAT solvers #25

Closed wkschwartz closed 7 years ago

wkschwartz commented 7 years ago

[x] The package documentation is unhelpful.
[x] The documentation for Literal is unhelpful
[x] Option documentation refers to Picosat functions.
[x] The documentation for AddClauses is wrong

wkschwartz commented 7 years ago

Commits 231723736285c6432ef96019f0a207d6091a193b, dbd2d31488f67a7199c2790c6c978e21b570e52f, 7a26042e67a755dadac19510fd72163070bcf897, 2f73a046a15d9dee8db42db093b7143c433dcb58 close this issue.