Download JAR files tagged by constrained with all dependencies

eldarica-cc-parser_2.11 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.11
Show documentation Show source

0 downloads

Artifact eldarica-cc-parser_2.11
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.11 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.11
Show documentation Show source

0 downloads

Artifact eldarica-tplspec-parser_2.11
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!

constrainedDelegation-1.0 from group com.ibm.websphere.appserver.features (version 19.0.0.7)

Group: com.ibm.websphere.appserver.features Artifact: constrainedDelegation-1.0
Show all versions

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact constrainedDelegation-1.0
Group com.ibm.websphere.appserver.features
Version 19.0.0.7

gdx-navmesh from group io.github.shibabandit (version 0.3.0)

Group: io.github.shibabandit Artifact: gdx-navmesh
Show all versions Show documentation Show source

0 downloads

Artifact gdx-navmesh
Group io.github.shibabandit
Version 0.3.0

jdelaunay from group org.orbisgis (version 0.5.3)

Library in Java dedicated to the processing of Delaunay and constrained Delaunay triangulations.

Group: org.orbisgis Artifact: jdelaunay
Show all versions Show documentation Show source

3 downloads

Artifact jdelaunay
Group org.orbisgis
Version 0.5.3
Last update 25. September 2014
Organization IRSTV CNRS-FR-2488
URL http://github.com/irstv/jdelaunay
License GNU General Public License (GPLV3+)
Dependencies amount 2
Dependencies jts, log4j,
There are maybe transitive dependencies!

poly2tri from group org.orbisgis (version 0.7.0)

Group: org.orbisgis Artifact: poly2tri
Show all versions

0 downloads

Artifact poly2tri
Group org.orbisgis
Version 0.7.0

bag from group us.irdev.bedrock (version 2.3.0)

Group: us.irdev.bedrock Artifact: bag
Show all versions Show documentation Show source

0 downloads

Artifact bag
Group us.irdev.bedrock
Version 2.3.0

bag from group com.brettonw.bedrock (version 2.1.0)

Bag provides two container classes for text-based storage of constrained types in an array (BagArray) or as a map (BagObject), with a means of serializing objects to and from these container types.

Group: com.brettonw.bedrock Artifact: bag
Show all versions Show documentation Show source

0 downloads

Artifact bag
Group com.brettonw.bedrock
Version 2.1.0
Last update 23. December 2021
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

Tinfour from group org.tinfour (version 2.1.7)

Group: org.tinfour Artifact: Tinfour
Show all versions

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact Tinfour
Group org.tinfour
Version 2.1.7

Juzzy-Constrained from group com.github.pasqualedalterio (version 0.5)

Java library based on Juzzy for the implementation of constrained interval type-2 fuzzy sets and systems.

Group: com.github.pasqualedalterio Artifact: Juzzy-Constrained
Show documentation Show source

0 downloads

Artifact Juzzy-Constrained
Group com.github.pasqualedalterio
Version 0.5
Last update 01. April 2020
Organization not specified
URL https://github.com/PasqualeDAlterio/JuzzyConstrained
License BSD 3-Clause License
Dependencies amount 3
Dependencies Juzzy, jfreechart, commons-csv,
There are maybe transitive dependencies!

Page 3 from 3 (items total 42)