Maven Repository: org.sat4j » org.sat4j.maxsat

ajax analysis annotations ant apache api archetype aspect asynchronously beans binding bpm build buildsystem bytecode cache cms codecoverage codehaus collections concurrency container database directory distributed doc eclipse ejb esb format framework graph graphics hadoop hibernate html http ide imap io jbi jdbc jdo jini jms jmx jndi jsf jsp language logging mail maven metadata microsoft mock net osgi parser pdf persistence plugin pool portal portlet query regexp rmi rpc rss ruleengine scheduling scm scripting security server servlet soa soap socket spring ssh svg swt system taglib template testing transaction ui web webdav webframework webserver webservice workflow xml xquery xslt
[See All Tags]

home » org.sat4j » org.sat4j.maxsat » 2.3.1

Artifact

POM File

HomePage

Organization

Issue Tracker

<dependency>
	<groupId>org.sat4j</groupId>
	<artifactId>org.sat4j.maxsat</artifactId>
	<version>2.3.1</version>
</dependency>

<dependency org="org.sat4j" name="org.sat4j.maxsat" rev="2.3.1"/>

@Grapes(
	@Grab(group='org.sat4j', module='org.sat4j.maxsat', version='2.3.1')
)

'org.sat4j:org.sat4j.maxsat:2.3.1'

'org.sat4j:org.sat4j.maxsat:jar:2.3.1'

libraryDependencies += "org.sat4j" % "org.sat4j.maxsat" % "2.3.1"

Group

Artifact

Version

1.1

org.sat4j.core

2.3.1

org.sat4j.pb

2.3.1

org.sat4j.maxsat

org.sat4j.maxsat.reader


Search by group, artifact or description. E.g: log4j, spring, hibernate