Filewatcher File Search File Search
Catalog
Content Search
» » » »

sat4j_2.2.0.orig.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:Debian
Filename:sat4j_2.2.0.orig.tar.gz

/sat4j-2.2.0/README

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.


/sat4j-2.2.0/org.sat4j.core/LICENSE.txt

   The SAT4J project makes available all content in this plug-in ("Content"). Your use of the Content is governed by
   the terms and conditions of the Eclipse Public License Version 1.0 ("EPL"). A copy of the EPL is available at
   http://www.eclipse.org/legal/epl-v10.html. For purposes of the EPL, "Program" will mean the Content.

   Alternatively, the Content may be obtained from the SAT4J proj
more»

/sat4j-2.2.0/org.sat4j.pb/LICENSE.txt

    SAT4J 2.0 SUBSET (Pseudo)

   The SAT4J project makes available all content in this plug-in ("Content"). Your use of the Content is governed by
   the terms and conditions of the Eclipse Public License Version 1.0 ("EPL"). A copy of the EPL is available at
   http://www.eclipse.org/legal/epl-v10.html. For purposes of the EPL, "Program" will mean the Content.

   Alternatively, the Content may 
more»

Browse inside sat4j_2.2.0.orig.tar.gz

         [DIR]sat4j-2.2.0/ (13)

Download sat4j_2.2.0.orig.tar.gz

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com