Thanks. Out of curiosity, are you using sat solvers in visual effects pipelines?
Scott Le vendredi 29 juillet 2016 00:18:14 UTC+2, Justin Israel a écrit : > > Neat. I had been using pigosat <https://github.com/wkschwartz/pigosat> for > a project. It vendors the picosat C dependency right in. > Cool to see a pure Go solution. > > Justin > > On Sunday, July 24, 2016 at 9:33:31 AM UTC+12, 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.
