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).
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!
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).
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!
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
Show all versions
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
gdx-navmesh from group io.github.shibabandit (version 0.3.0)
0 downloads
jdelaunay from group org.orbisgis (version 0.5.3)
Library in Java dedicated to the processing of Delaunay and constrained Delaunay triangulations.
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!
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)
bag from 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.
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!
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
Show all versions
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
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.
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!
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)
© 2015 - 2024 Weber Informatics LLC | Privacy Policy