| License |
License |
|---|---|
| GroupId | GroupIdorg.sat4j |
| ArtifactId | ArtifactIdorg.sat4j.core |
| Last Version | Last Version2.3.1 |
| Release Date | Release Date |
| Type | Typejar |
| Description |
DescriptionSAT4J 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.
|
| Project Organization |
Project Organization |
| Filename | Size |
|---|---|
| org.sat4j.core-2.3.1.pom | |
| org.sat4j.core-2.3.1.jar | 261 KB |
| org.sat4j.core-2.3.1-tests.jar | 63 KB |
| org.sat4j.core-2.3.1-sources.jar | 274 KB |
| org.sat4j.core-2.3.1-javadoc.jar | 1 MB |
| Browse |
JarCasting<!-- https://jarcasting.com/artifacts/org.sat4j/org.sat4j.core/ -->
<dependency>
<groupId>org.sat4j</groupId>
<artifactId>org.sat4j.core</artifactId>
<version>2.3.1</version>
</dependency>// https://jarcasting.com/artifacts/org.sat4j/org.sat4j.core/
implementation 'org.sat4j:org.sat4j.core:2.3.1'// https://jarcasting.com/artifacts/org.sat4j/org.sat4j.core/
implementation ("org.sat4j:org.sat4j.core:2.3.1")'org.sat4j:org.sat4j.core:jar:2.3.1'<dependency org="org.sat4j" name="org.sat4j.core" rev="2.3.1">
<artifact name="org.sat4j.core" type="jar" />
</dependency>@Grapes(
@Grab(group='org.sat4j', module='org.sat4j.core', version='2.3.1')
)libraryDependencies += "org.sat4j" % "org.sat4j.core" % "2.3.1"[org.sat4j/org.sat4j.core "2.3.1"]| Group / Artifact | Type | Version |
|---|---|---|
| junit : junit | jar | 4.4 |