This seems incredibly useful. I wonder if you'd consider creating an example project as a demonstration, showing what import path we should be using and very basic operation -- I think it would help get interested people onboard quickly. Thanks for considering!
- James On Saturday, July 23, 2016 at 5:33:31 PM UTC-4, Scott Cotton wrote: > > 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.
