DOC

org.sat4j : org.sat4j.core

Maven & Gradle

Oct 31, 2011
16 usages

SAT4J core · The core library contains a flexible implementation in Java of the initial Minisat specification. The library is regularly updated with latest SAT technologies. It is a mature software that target Java developer willing to use SAT capability in their software.

Homepage Maven Central
Table Of Contents

Latest Version

Download org.sat4j : org.sat4j.core Javadoc & API Documentation - Latest Versions:

All Versions

Download org.sat4j : org.sat4j.core Javadoc & API Documentation - All Versions:

Version Size Javadoc Updated
2.3.x
org.sat4j.core-2.3.1-javadoc.jar
org.sat4j.core-2.3.0-javadoc.jar
2.2.x
org.sat4j.core-2.2.3-javadoc.jar
2.0.x
org.sat4j.core-2.0.4-javadoc.jar
org.sat4j.core-2.0.0-javadoc.jar

How to open Javadoc JAR file in web browser

  1. Rename the file org.sat4j.core-2.3.1-javadoc.jar to org.sat4j.core-2.3.1-javadoc.zip
  2. Use your favourite unzip tool (WinRAR / WinZIP) to extract it, now you have a folder org.sat4j.core-2.3.1-javadoc
  3. Double click index.html will open the index page on your default web browser.

How to generate Javadoc from a source JAR?

Running the command javadoc:

javadoc --ignore-source-errors -encoding UTF-8 -sourcepath "org.sat4j.core-2.3.1-sources.jar" -d "org.sat4j.core-2.3.1-javadoc" -subpackages

Advertisement

Dependencies from Group

org.sat4j.core
icon @org.sat4j
Oct 31, 2011
16 usages
org.sat4j.pb
icon @org.sat4j
Oct 31, 2011
5 usages
org.sat4j.maxsat
icon @org.sat4j
Oct 31, 2011
1 usages
org.sat4j.csp.xmlparser
icon @org.sat4j
Mar 30, 2011
1 usages
org.sat4j.csp
icon @org.sat4j
Mar 30, 2011
More Dependencies ❯

Discover Dependencies

arquillian-cube-requirement
icon @org.arquillian.cube
Oct 16, 2018
69 usages
114 stars
pebble
icon @com.mitchellbosecke
Jun 05, 2017
46 usages
918 stars
cat-gradle-utils
icon @cc.catalysts.gradle
Jan 30, 2019
6 usages
13 stars
ardulink-core-base
icon @org.ardulink
May 17, 2019
14 usages
45 stars
genflow-api
icon @com.reprezen.genflow
Jul 24, 2019
22 usages
10 stars
cougar-util
icon @com.betfair.cougar
Jun 06, 2015
21 usages
28 stars
hudson-cli
icon @org.jvnet.hudson.main
May 30, 2012
5 usages
wildfly-controller-client
icon @org.wildfly
Jul 24, 2015
33 usages
common-util
icon @com.ardikars.common
Aug 16, 2019
19 usages
1 stars
mule-module-xml
icon @org.mule.modules
Apr 27, 2018
53 usages
260 stars
More Dependencies ❯