Thanks James. For library usage, there are examples in the _test files, which will have to do for the moment. The gini command takes dimacs cnf and icnf inputs. see satcompetition.org for details.
As for import path, we have chosen to use simply import "gini" or sub packages like "gini/ax" This is unfortunately incompatible with go get'ing remote repositories, but on the other hand the source directories and import statements don't need to name a website, which we feel is cumbersome. We may set up a website for gini, and make it go gettable at that time, but it is not top priority at the moment. Nonetheless, you can clone with git and install/test/etc using go install. If you'd like to discuss that further, feel free to file an issue. Best Scott Le dimanche 24 juillet 2016 01:15:01 UTC+2, James Pirruccello a écrit : > > 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.
