[go-nuts] Re: Announcing gophersat, a SAT and Pseudo-Boolean solver, v1.0.0

2018-09-07 Thread Scott Cotton
Hi, Gini was benchmarked on a reasonably sized set of randomly selected sat competition problems against minisat and picosat. It did very well, before there was even gophersat. SAT competition problems are much harder than many application use case problems because they are of interest as a

[go-nuts] Re: Announcing gophersat, a SAT and Pseudo-Boolean solver, v1.0.0

2017-12-23 Thread Fabien
Thanks for the link, I'll write a description of my problem. Le samedi 23 décembre 2017 13:29:59 UTC+1, Mandolyte a écrit : > > Fabien, you mention below that generics would help... I encourage you to > make a fuller description of why/how generics would help and update this > wiki page to

[go-nuts] Re: Announcing gophersat, a SAT and Pseudo-Boolean solver, v1.0.0

2017-12-23 Thread Mandolyte
Fabien, you mention below that generics would help... I encourage you to make a fuller description of why/how generics would help and update this wiki page to point to it: https://github.com/golang/go/wiki/ExperienceReports#generics On Thursday, December 21, 2017 at 8:25:53 PM UTC-5, Fabien

[go-nuts] Re: Announcing gophersat, a SAT and Pseudo-Boolean solver, v1.0.0

2017-12-21 Thread Damian Gryski
Wow, thanks for the detailed answers! Damian -- 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

[go-nuts] Re: Announcing gophersat, a SAT and Pseudo-Boolean solver, v1.0.0

2017-12-21 Thread Fabien
Short answer : according to the few tests I ran, they are pretty close. You can use any of them, or, even better, both of them. Long answer : I have only compared them on about a dozen industrial problems, so take it with a grain of salt, but it's hard to name a winner. Gini is usually a