Hello Gophers, I'm happy to announce the Gini SAT solver has finally reached v1.0.
http://github.com/irifrance/gini The Gini SAT solver is pretty full-featured for library use, including a simple and efficient logic library and concurrent and distributed utilities. It's also pretty darn fast for a CDCL solver in Go, measuring up to standard CDCL C/C++ solvers in a variety of tests. This release corresponds with a dedication of the stewardship of Gini to the community. Please feel free to follow up here on go-nuts or in private reply about how to gain access. Best Scott -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
