Comment Comment by ominous_prime Another Go SAT implementation (with an MIT license for those that can't use GPL): https://github.com/mitchellh/go-sat parent ominous_prime 9 years ago
