search

wkschwartz / pigosat

Go (golang) bindings for Picosat, the satisfiability solver
Other
15 stars 4 forks source link

Rename AddClauses to Add #28

Closed wkschwartz closed 7 years ago

wkschwartz commented 7 years ago

You generally will end up writing p.Add(Formula{...}) anyway, so Add's intention is clear when you read it in code.