SAT4J core

Note: There is a new version for this artifact: 2.3.6

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.

<dependency>
    <groupId>org.ow2.sat4j</groupId>
    <artifactId>org.ow2.sat4j.core</artifactId>
    <version>2.3.4</version>
</dependency>

compile group: 'org.ow2.sat4j', name: 'org.ow2.sat4j.core', version: '2.3.4'

compile 'org.ow2.sat4j:org.ow2.sat4j.core:2.3.4'

libraryDependencies += "org.ow2.sat4j" % "org.ow2.sat4j.core" % "2.3.4"

<dependency org="org.ow2.sat4j" name="org.ow2.sat4j.core" rev="2.3.4"/>

@Grapes(
            @Grab(group='org.ow2.sat4j', module='org.ow2.sat4j.core', version='2.3.4')
        )

[org.ow2.sat4j/org.ow2.sat4j.core "2.3.4"]

'org.ow2.sat4j:org.ow2.sat4j.core:jar:2.3.4'

Test dependencies (2)

Group / Artifact	Version	Newer Version
org.mockito » mockito-all	1.9.5	2.0.2-beta
junit » junit	4.4	4.13.2