[go-nuts] Re: ANNOUNCE: gini

Hi Markus, Apologies for the delay, been a busy week. Yes we are planning to enter the coming SAT competitions, and we are seeking help/resources from interested parties. Would be great to have a bona-fide team. There are a number of categories of submissions to the SAT competitions, and I t

[go-nuts] Re: ANNOUNCE: gini

Nice. I put your solver on my benchmarking list for our use-cases. I hope I get to that in the following months. I am exceptionally excited to see a pure Go SAT solver :-) Are you trying to get in the next SAT competition? I created an issue in the tracker about resolving the go-getable issue.

Re: [go-nuts] Re: ANNOUNCE: gini

On Sun, 31 Jul 2016, 1:46 PM Scott Cotton wrote: > Neat, maybe a bit like sat4j does in eclipse dependency management? > Probably similar I am sure. For standard distro package management systems I think they have to be concerned with the idea of installing new or upgrading existing or removing

[go-nuts] Re: ANNOUNCE: gini

Neat, maybe a bit like sat4j does in eclipse dependency management? For generating the cause of a failure, do you mean "failed assumptions" in picosat speak or unsat core or some other feature (proofs, etc)? Scott 2016-07-30 0:01 GMT+02:00 Justin Israel : > > > On Sat, 30 Jul 2016, 2:22 AM Sco

Re: [go-nuts] Re: ANNOUNCE: gini

On Sat, 30 Jul 2016, 10:01 AM Justin Israel wrote: > > > On Sat, 30 Jul 2016, 2:22 AM Scott Cotton wrote: > >> Thanks. >> >> Out of curiosity, are you using sat solvers in visual effects pipelines? >> > > I was using it for a new version of the package dependency resolver > component of our env

Re: [go-nuts] Re: ANNOUNCE: gini

On Sat, 30 Jul 2016, 2:22 AM Scott Cotton wrote: > Thanks. > > Out of curiosity, are you using sat solvers in visual effects pipelines? > I was using it for a new version of the package dependency resolver component of our environment management system. I was able to model the entire "repositor

[go-nuts] Re: ANNOUNCE: gini

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 for > a project. It vendors the picosat C dependency right in.

[go-nuts] Re: ANNOUNCE: gini

Neat. I had been using 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 o

[go-nuts] Re: ANNOUNCE: gini

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"

[go-nuts] Re: ANNOUNCE: gini

There is a tool for solver benchmarking provided in the package. As I see you're from JKU linz, home of picosat, Here's a comparison of core cdcl gini with core cdcl picosat on 50 randomly selected problems from the 2011 sat competition, with a timeout of 1 minute per problem, benchmark suite

[go-nuts] Re: ANNOUNCE: gini

I also would like to see some examples. Also, please make the whole project go-getable. Looking forward to see where this project is going, exciting! Can you link to the papers where you demonstrate that you outperform picosat and minisat? On Saturday, July 23, 2016 at 11:33:31 PM UTC+2, Scott

[go-nuts] Re: ANNOUNCE: gini

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, 20