README.md 756 Bytes
Newer Older
1
# HOW TO BUILD SAT4J FROM SOURCE
2

3 4

## Using Maven (library users)
5 6 7

Just launch 

8 9 10
```shell
$ mvn -DskipTests=true install
```
11 12 13 14 15

to build the SAT4J modules from the source tree.

All the dependencies will be gathered by Maven.

16 17

## Using ant (solvers users)
18 19 20 21 22 23 24 25

Download the missing libraries and put them in the lib directory:
+ Apache commons CLI
+ Apache commons UseBean
+ Mozilla Rhino

Just type:

26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42
```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
43

44 45 46
```shell
$ ant -p
```
47

48
to see available options.