Commit cf187348 authored by Daniel Le Berre's avatar Daniel Le Berre

Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j

parents e0e0c246 8ecd441a
Pipeline #4065 failed with stages
in 5 minutes and 2 seconds
# HOW TO BUILD SAT4J FROM SOURCE
# HOW TO DOWNLOAD SAT4J JAR FILES
- Releases are available from [OW2 download repository](http://download.forge.ow2.org/sat4j/)
- Nighlty builds are available [from gitlab continuous integration](https://gitlab.ow2.org/sat4j/sat4j/pipelines)
> Nighlty builds are available [here](https://gitlab.ow2.org/sat4j/sat4j/pipelines)
# HOW TO BUILD SAT4J FROM SOURCE
## Using Maven (library users)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment