sat4j

Project ID: 41

1

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

History Find file

Adding a java 8 build with maven 3.6.1 to check if the current issue with java... · 0b3bb64b
Daniel Le Berre authored Aug 20, 2019
```
Adding a java 8 build with maven 3.6.1 to check if the current issue with java 11 and java 12 is related to maven 3.6.1
```
0b3bb64b

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...