gini sat solver

Contact owners and managers

1–2 of 2

This group is for discussing the gini sat solver, a pure Go sat solver with related tools.

There is also an issue tracker for bug reports, feature requests, etc.

This group is more appropriate for questions and discussions about how to use the solver and its related libraries (logic modelling, distributed, etc).

0 selected

Scott Cotton, Burning Game7

12/11/18

new features

---------- Forwarded message --------- From: Scott Cotton <w...@iri-labs.com> Date: Tue, 11 Dec

unread,

new features

---------- Forwarded message --------- From: Scott Cotton <w...@iri-labs.com> Date: Tue, 11 Dec

12/11/18

Scott Cotton, Burning Game5

12/1/18

questions for beta users

Thanks so much for your sudoku example. It helps me a lot to understand how gini works with the help

unread,

interfaces

release

questions for beta users

Thanks so much for your sudoku example. It helps me a lot to understand how gini works with the help

12/1/18