github.com/go-air/gini (go): Package gini provides a fast SAT solver.  Package gini contains both libraries and commands.  The libraries include  The commands include
Keywords: artificial-intelligence|boolean-formulas|circuit-sat|concurrent|dependencies|fuzzing|logic-circuit|logic-programming|resolution|sat-solver|testing|verification