search

wkschwartz / pigosat

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

Flatten and simplify the picosat C lib (make go-gettable) #2

Closed justinfx closed 9 years ago

justinfx commented 10 years ago

Replaces merge request #1

Makes pigosat go-gettable by moving the C source next to the Go source and removing the extra manual build step.

justinfx commented 9 years ago

bump

wkschwartz commented 9 years ago

Hey, sorry I forgot this was here. I'll try to take a look at it this weekend.

You first sent this at a time that I was very busy at work. Things have settled down a bit now, and hopefully I can get back to this.

wkschwartz commented 9 years ago

A quick look at the code changes look fine. I just want to run some tests before merging.

wkschwartz commented 9 years ago

Replaced by #4.