search

mitchellh / go-sat

SAT solver written in Go (golang).
MIT License
136 stars 7 forks source link

bug report #3

Open kailiangji opened 6 years ago

kailiangji commented 6 years ago

The line 42 of go-sat/cmd/go-sat/main.go, which is 

var s sat.Solver

should be replaced as

s := sat.New()