search

wkschwartz / pigosat

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

Create internal non-locking Pigosat.Res #20

Closed wkschwartz closed 7 years ago

wkschwartz commented 8 years ago

See https://github.com/wkschwartz/pigosat/pull/12#discussion_r81032113

Wait until #12 merges