Skip to content

GitLab

Explore

Sign in

S

Sat4j CSP PB

Project information

A pseudo-Boolean implementation of a CSP solver with Sat4j.

13 Commits
2 Branches
1 Tag
1 Release

README
LICENSE

Created on

June 13, 2022

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