https://github.com/visualon/sat4j
Mirror of https://gitlab.ow2.org/sat4j/sat4j
https://github.com/visualon/sat4j
Last synced: 4 months ago
JSON representation
Mirror of https://gitlab.ow2.org/sat4j/sat4j
- Host: GitHub
- URL: https://github.com/visualon/sat4j
- Owner: visualon
- License: other
- Created: 2019-01-28T17:00:32.000Z (over 6 years ago)
- Default Branch: main
- Last Pushed: 2024-11-12T10:16:12.000Z (7 months ago)
- Last Synced: 2025-01-04T06:22:25.561Z (5 months ago)
- Language: Java
- Homepage:
- Size: 22.8 MB
- Stars: 0
- Watchers: 4
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
- Codemeta: codemeta.json
Awesome Lists containing this project
README
[](https://sonarqube.ow2.org/dashboard?id=org.ow2.sat4j%3Aorg.ow2.sat4j.pom)
[](https://gitlab.ow2.org/sat4j/sat4j/commits/master)
# HOW TO DOWNLOAD SAT4J JAR FILES
- Older releases are available from [OW2 download repository](http://www.sat4j.org/ARCHIVE/)
- 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)
# HOW TO GET HELP?
It is possible to get help from the community on [our RocketChat channel](https://rocketchat.ow2.org/channel/sat4j).
# 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)
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.