How does it compare to https://github.com/IRIFrance/gini ?
--
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 opti
Dear fellow gophers,
I'm happy to announce that gophersat, the SAT and pseudo-boolean solver
written in Go by the Centre de Recherche en Informatique de Lens, now
reached its first stable release (v1.0.0). It is available
at https://github.com/crillab/gophersat and is released under the MIT
li
