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.6</version>
</dependency>

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

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

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

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

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

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

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

Test priklausomybės (2)

Grupė / Artefaktas	Versija	Naujesnė Versija
org.mockito » mockito-all	1.9.5	2.0.2-beta
junit » junit	4.12	4.13.2