README.md 1.31 KB
Newer Older
Daniel Le Berre's avatar
Daniel Le Berre committed
1
[![Quality Gate Status](https://sonarqube.ow2.org/api/project_badges/measure?project=org.ow2.sat4j%3Aorg.ow2.sat4j.pom&metric=alert_status)](https://sonarqube.ow2.org/dashboard?id=org.ow2.sat4j%3Aorg.ow2.sat4j.pom)
Daniel Le Berre's avatar
Daniel Le Berre committed
2
[![pipeline status](https://gitlab.ow2.org/sat4j/sat4j/badges/master/pipeline.svg)](https://gitlab.ow2.org/sat4j/sat4j/commits/master)
Daniel Le Berre's avatar
Daniel Le Berre committed
3

Daniel Le Berre's avatar
Daniel Le Berre committed
4
5
# HOW TO DOWNLOAD SAT4J JAR FILES

Daniel Le Berre's avatar
Daniel Le Berre committed
6
7
8
- Older releases are available from [OW2 download repository](http://download.forge.ow2.org/sat4j/) 
- Recent releases are available from [OW2 gitlab release page](https://gitlab.ow2.org/sat4j/sat4j/-/releases)
- Nighlty builds are available from [OW2 gitlab continuous integration](https://gitlab.ow2.org/sat4j/sat4j/pipelines)
9

Daniel Le Berre's avatar
Daniel Le Berre committed
10
# HOW TO BUILD SAT4J FROM SOURCE
11
12

## Using Maven (library users)
13
14
15

Just launch 

16
17
18
```shell
$ mvn -DskipTests=true install
```
19
20
21
22
23

to build the SAT4J modules from the source tree.

All the dependencies will be gathered by Maven.

24
25

## Using ant (solvers users)
26
27
28

Just type:

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

47
48
49
```shell
$ ant -p
```
50

51
to see available options.