Skip to content

GitLab

Explore

Sign in

sat4j

Project information

Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.

2,943 Commits
42 Branches
1 Tag

README
Eclipse Public License 1.0

Created on

February 21, 2021

Copy SSH clone URLgit@gitlab.ow2.org:romain_wallon/sat4j.git
Copy HTTPS clone URLhttps://gitlab.ow2.org/romain_wallon/sat4j.git