https://gitlab.ow2.org/sat4j/sat4j.git
Tip revision: 7f0dcd164e24d0111e3a93bf4c57cdfef09ad51f authored by Daniel Le Berre on 23 August 2017, 15:42:30 UTC
Add missing import statements.
Add missing import statements.
Tip revision: 7f0dcd1
README.md
# HOW TO BUILD SAT4J FROM SOURCE
## Using Maven (library users)
Just launch
```shell
$ mvn -DskipTests=true install
```
to build the SAT4J modules from the source tree.
All the dependencies will be gathered by Maven.
## Using ant (solvers users)
Download the missing libraries and put them in the lib directory:
+ Apache commons CLI
+ Apache commons UseBean
+ Mozilla Rhino
Just type:
```shell
$ ant [core,pseudo,maxsat,sat]
```
to build the solvers from source.
The solvers will be available in the directory `dist/CUSTOM`.
You may want to use a custom release name.
```shell
$ ant -Drelease=MINE maxsat
```
In that case, the solvers will be available in the directory `dist/MINE`.
Type
```shell
$ ant -p
```
to see available options.