SAT4J / sat4j · GitLab

Skip to content

GitLab

Explore

Sign in

GitLab may not work properly, because you are using an outdated web browser.
Please install a supported web browser for a better experience.

sat4j

Project information

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

3,102 Commits
50 Branches
1 Tag
1 Release

README
Eclipse Public License 1.0

Created on

February 28, 2017

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

Loading