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