Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
SAT4J
sat4j
Commits
09e9173e
Commit
09e9173e
authored
Dec 20, 2017
by
Daniel Le Berre
Browse files
Update README with link to nightly builds
parent
af0a65fd
Pipeline
#488
passed with stages
in 26 minutes and 34 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
README.md
View file @
09e9173e
# HOW TO BUILD SAT4J FROM SOURCE
> Nighlty builds are available [here](https://gitlab.ow2.org/sat4j/sat4j/pipelines)
## Using Maven (library users)
...
...
@@ -16,11 +17,6 @@ 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
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment