I'm happy to announce the first public beta release of mini, available at github <http://github.com/IRIFrance/gini>.
Gini is a SAT solver with some related tools built for solving the canonical NP-complete SAT problem. SAT solvers have many applications in formal verification and discrete optimisation, often acting as an indispensable component in these domains. Gini is written in 100% pure go and thus far, our core CDCL solver either outperforms or is competitive with analogs in C/C++ like picosat and minisat. Additionally, internal measures of raw speed such as mega-props/second are good and independent of variations arising from heuristics. By bringing a high quality SAT solver to go, we hope to enable competitive innovations in the go community which tackle combinatorial explosion symbolically. Gini is in first beta public release, following the recent SAT competition. To maintain performance in the long term, we plan to have gini compete in sat races and sat competitions annually. To this end, we are happy to collaborate with gophers, the curious, raw speed junkies, algorithm officianados, and logicians alike. Cheers, -- Scott Cotton President, IRI France SAS http://www.iri-labs.com -- 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.
