sat4j

Project ID: 41

1

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

History Find file

Fix the display of all models. · 2c3e47ab
Daniel Le Berre authored Oct 13, 2019
```
It is now consistent with a single model display.
```
2c3e47ab

README
CI/CD configuration
Auto DevOps enabled

Name	Last commit	Last update
.settings		Loading commit data...
META-INF		Loading commit data...
lib		Loading commit data...
org.sat4j.br4cp		Loading commit data...
org.sat4j.core		Loading commit data...
org.sat4j.csp.xmlparser		Loading commit data...
org.sat4j.intervalorders		Loading commit data...
org.sat4j.maxsat		Loading commit data...
org.sat4j.pb		Loading commit data...
org.sat4j.sat		Loading commit data...
org.sat4j.sudoku		Loading commit data...
src/site		Loading commit data...
.gitlab-ci.yml		Loading commit data...
.project		Loading commit data...
LICENSE		Loading commit data...
README.md		Loading commit data...
build.xml		Loading commit data...
buildSite.sh		Loading commit data...
pom.xml		Loading commit data...
sat4j-live.bash		Loading commit data...
settings.xml		Loading commit data...
stylesheet.css		Loading commit data...