Sat4j

Sat4j

Components

Component Lead Description
case studies Daniel Le Berre That book is meant to help people getting started with Sat4j by example.
core Daniel Le Berre core SAT engine, based on the minisat framework.
csp Daniel Le Berre Basic CSP to SAT translator, including optimization support
maxsat Daniel Le Berre a library of maxsat solvers based on both the pseudo and core components.
pseudo Updateme Updateme The library of pseudo boolean solvers based on the core framework.
visualization Stéphanie ROUSSEL The visualization framework (aka remote control)