satisfiability-solver topic

Links to tools by subject

johnyf

Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research

marcelwa

Julia package for parsing, manipulating and evaluating formulas in first-order logic.

roberthoenig

Go (golang) bindings for Picosat, the satisfiability solver

wkschwartz