DOC

org.sat4j : org.sat4j.pom

Maven & Gradle

Oct 31, 2011

SAT4J · The aim of the SAT4J library is to provide an efficient library of SAT solvers in Java. Compared to the OpenSAT project, the SAT4J library targets first users of SAT "black boxes", willing to embed SAT technologies into their application without worrying about the details. Since we use the library for our own research, it is also possible for SAT researchers to use it as a basis for their work.

Homepage Maven Central
Table Of Contents

Latest Version

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

All Versions

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

Version Size Javadoc Updated
2.3.x
org.sat4j.pom-2.3.1-javadoc.jar
org.sat4j.pom-2.3.0-javadoc.jar
2.2.x
org.sat4j.pom-2.2.3-javadoc.jar

How to open Javadoc JAR file in web browser

  1. Rename the file org.sat4j.pom-2.3.1-javadoc.jar to org.sat4j.pom-2.3.1-javadoc.zip
  2. Use your favourite unzip tool (WinRAR / WinZIP) to extract it, now you have a folder org.sat4j.pom-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.pom-2.3.1-sources.jar" -d "org.sat4j.pom-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

sample-kibbles
icon @com.tinkerpop.rexster.rexster-kibbles
Sep 17, 2014
435 stars
plugin-m2
icon @net.sf.aislib.tools.entities
Aug 27, 2008
org.jibx.schema.org.opentravel._2012A.test.hotel
icon @org.jibx.schema.org.opentravel._2012A.test
Dec 31, 2014
6 stars
soap-client-cache
icon @de.malkusch
Jan 05, 2014
file-leak-detecter
icon @org.kohsuke
May 20, 2010
jnag-utils-jse-rds
icon @com.lemoulinstudio.jnag
May 20, 2010
lympid-parent
icon @com.lympid
Feb 10, 2015
0 stars
swc-example-serialization-archetype
icon @org.sweble.wikitext
May 26, 2012
bdd-rest
icon @com.github.grantjforrester
Mar 24, 2015
de.devsurf.injection.guice.examples
icon @de.devsurf.injection.guice
Jan 13, 2011
65 stars
More Dependencies ❯