All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download JAR files tagged by solver with all dependencies

Search JAR files by class name

jsr331-clp from group com.javasolver (version 2.3.0)

This is a JSR331 interface for the open source linear solver "Clp"

Group: com.javasolver Artifact: jsr331-clp
Show all versions Show documentation Show source 
 

0 downloads
Artifact jsr331-clp
Group com.javasolver
Version 2.3.0
Last update 18. April 2024
Organization not specified
URL https://projects.coin-or.org/Clp
License GNU LESSER GENERAL PUBLIC LICENSE Version 2.0
Dependencies amount 3
Dependencies jsr331, jsr331-linear, clp-java,
There are maybe transitive dependencies!

dds4j from group com.github.phisgr (version 0.1.0)

Wrapper around the Double Dummy Solver C++ Library.

Group: com.github.phisgr Artifact: dds4j
Show all versions Show documentation Show source 
 

0 downloads
Artifact dds4j
Group com.github.phisgr
Version 0.1.0
Last update 08. April 2024
Organization not specified
URL https://github.com/phiSgr/rektdeal
License GPL-v3.0
Dependencies amount 1
Dependencies kotlin-stdlib,
There are maybe transitive dependencies!

kiwi from group org.mvnpm.at.lume (version 0.4.3)

High speed Cassowary constraint solver in JavaScript.

Group: org.mvnpm.at.lume Artifact: kiwi
Show all versions Show documentation Show source 
 

0 downloads
Artifact kiwi
Group org.mvnpm.at.lume
Version 0.4.3
Last update 06. April 2024
Organization lume kiwi
URL https://github.com/lume/kiwi
License BSD-3-Clause
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

clingo from group org.potassco (version 1.1.0)

Java Bindings for Clingo: A grounder and solver for logic programs

Group: org.potassco Artifact: clingo
Show all versions Show documentation Show source 
 

0 downloads
Artifact clingo
Group org.potassco
Version 1.1.0
Last update 28. March 2024
Organization not specified
URL https://github.com/kherud/jclingo
License GNU Lesser General Public License, Version 3, 29 June 2007
Dependencies amount 2
Dependencies jna, jna-platform,
There are maybe transitive dependencies!

eldarica_2.13 from group io.github.uuverifiers (version 2.1)

Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).

Group: io.github.uuverifiers Artifact: eldarica_2.13
Show documentation Show source 
 

0 downloads
Artifact eldarica_2.13
Group io.github.uuverifiers
Version 2.1
Last update 22. March 2024
Organization io.github.uuverifiers
URL https://github.com/uuverifiers/eldarica
License BSD License 2.0
Dependencies amount 9
Dependencies scala-library, eldarica-cc-parser_2.13, eldarica-tplspec-parser_2.13, scala-parser-combinators_2.13, java-cup, antlr, scala-xml_2.13, scalactic_2.13, princess_2.13,
There are maybe transitive dependencies!

eldarica-cc-parser_2.13 from group io.github.uuverifiers (version 2.1)

Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).

Group: io.github.uuverifiers Artifact: eldarica-cc-parser_2.13
Show documentation Show source 
 

0 downloads
Artifact eldarica-cc-parser_2.13
Group io.github.uuverifiers
Version 2.1
Last update 22. March 2024
Organization io.github.uuverifiers
URL https://github.com/uuverifiers/eldarica
License BSD License 2.0
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!

eldarica-tplspec-parser_2.13 from group io.github.uuverifiers (version 2.1)

Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).

Group: io.github.uuverifiers Artifact: eldarica-tplspec-parser_2.13
Show documentation Show source 
 

0 downloads
Artifact eldarica-tplspec-parser_2.13
Group io.github.uuverifiers
Version 2.1
Last update 22. March 2024
Organization io.github.uuverifiers
URL https://github.com/uuverifiers/eldarica
License BSD License 2.0
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!

eldarica_2.12 from group io.github.uuverifiers (version 2.1)

Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).

Group: io.github.uuverifiers Artifact: eldarica_2.12
Show documentation Show source 
 

0 downloads
Artifact eldarica_2.12
Group io.github.uuverifiers
Version 2.1
Last update 22. March 2024
Organization io.github.uuverifiers
URL https://github.com/uuverifiers/eldarica
License BSD License 2.0
Dependencies amount 9
Dependencies scala-library, eldarica-cc-parser_2.12, eldarica-tplspec-parser_2.12, scala-parser-combinators_2.12, java-cup, antlr, scala-xml_2.12, scalactic_2.12, princess_2.12,
There are maybe transitive dependencies!

eldarica-tplspec-parser_2.12 from group io.github.uuverifiers (version 2.1)

Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).

Group: io.github.uuverifiers Artifact: eldarica-tplspec-parser_2.12
Show documentation Show source 
 

0 downloads
Artifact eldarica-tplspec-parser_2.12
Group io.github.uuverifiers
Version 2.1
Last update 22. March 2024
Organization io.github.uuverifiers
URL https://github.com/uuverifiers/eldarica
License BSD License 2.0
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!

eldarica-cc-parser_2.12 from group io.github.uuverifiers (version 2.1)

Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).

Group: io.github.uuverifiers Artifact: eldarica-cc-parser_2.12
Show documentation Show source 
 

0 downloads
Artifact eldarica-cc-parser_2.12
Group io.github.uuverifiers
Version 2.1
Last update 22. March 2024
Organization io.github.uuverifiers
URL https://github.com/uuverifiers/eldarica
License BSD License 2.0
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!


Page 9 from 17 (items total 162)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy