GitHub - randoop/grt-sat4j-core-2.3.5

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
META-INF		META-INF
lib		lib
org.sat4j.core		org.sat4j.core
src/site		src/site
README		README
README.PLSE		README.PLSE
build.xml		build.xml
buildSite.sh		buildSite.sh
pom.xml		pom.xml
sat4j-live.bash		sat4j-live.bash
stylesheet.css		stylesheet.css

Repository files navigation

HOW TO BUILD SAT4J FROM SOURCE

+ Using Maven

Just launch 

$ mvn -Dmaven.test.skip=true install

to build the SAT4J modules from the source tree.

All the dependencies will be gathered by Maven.

+ Using ant

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

Just type:

$ ant 

to build the modules from source.