Download JAR files tagged by solver with all dependencies

ejml-solver from group net.raumzeitfalle.registration (version 0.0.7)

EJML (Efficient Java Matrix Library) based solver for image-registration

Group: net.raumzeitfalle.registration Artifact: ejml-solver
Show all versions Show documentation Show source

0 downloads

Artifact ejml-solver
Group net.raumzeitfalle.registration
Version 0.0.7
Last update 26. April 2023
Organization Oliver Loeffler, Raumzeitfalle.net
URL https://oliver-loeffler.github.io/image-registration
License The Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

apache-math3-solver from group net.raumzeitfalle.registration (version 0.0.7)

Solver for image-registration using Apache Math Commons linear algebra implementation

Group: net.raumzeitfalle.registration Artifact: apache-math3-solver
Show all versions Show documentation Show source

0 downloads

Artifact apache-math3-solver
Group net.raumzeitfalle.registration
Version 0.0.7
Last update 26. April 2023
Organization Oliver Loeffler, Raumzeitfalle.net
URL https://oliver-loeffler.github.io/image-registration
License The Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

jconstraints-benchmarktest from group tools.aqua (version 0.9.9)

jConstraints-BenchmarkTest is a JUnit 5 argument provider for testing solver bindings

Group: tools.aqua Artifact: jconstraints-benchmarktest
Show documentation Show source

0 downloads

Artifact jconstraints-benchmarktest
Group tools.aqua
Version 0.9.9
Last update 06. March 2023
Organization not specified
URL https://github.com/tudo-aqua/jconstraints
License Apache-2.0
Dependencies amount 2
Dependencies jconstraints-core, junit-jupiter,
There are maybe transitive dependencies!

zebra4j from group io.github.murfffi (version 0.10)

zebra4j is a generator and solver library for Zebra puzzles, also knows as "logic grid puzzles".

Group: io.github.murfffi Artifact: zebra4j
Show all versions Show documentation Show source

0 downloads

Artifact zebra4j
Group io.github.murfffi
Version 0.10
Last update 16. October 2022
Organization Marin Nozhchev
URL https://github.com/murfffi/zebra4j
License GNU Lesser General Public License, Version 3
Dependencies amount 6
Dependencies choco-solver, commons-lang3, commons-text, jsr305, commons-collections4, slf4j-api,
There are maybe transitive dependencies!

solve-concurrent from group it.unibo.tuprolog (version 1.0.2)

Group: it.unibo.tuprolog Artifact: solve-concurrent
Show all versions Show documentation Show source

0 downloads

Artifact solve-concurrent
Group it.unibo.tuprolog
Version 1.0.2

solve-concurrent-jvm from group it.unibo.tuprolog (version 1.0.2)

Group: it.unibo.tuprolog Artifact: solve-concurrent-jvm
Show all versions Show documentation Show source

0 downloads

Artifact solve-concurrent-jvm
Group it.unibo.tuprolog
Version 1.0.2

solve-concurrent-js from group it.unibo.tuprolog (version 1.0.2)

Group: it.unibo.tuprolog Artifact: solve-concurrent-js
Show all versions Show documentation

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

0 downloads

Artifact solve-concurrent-js
Group it.unibo.tuprolog
Version 1.0.2

princess_2.13 from group io.github.uuverifiers (version 2024-03-22)

Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.

Group: io.github.uuverifiers Artifact: princess_2.13
Show all versions Show documentation Show source

0 downloads

Artifact princess_2.13
Group io.github.uuverifiers
Version 2024-03-22
Last update 21. March 2024
Organization io.github.uuverifiers
URL https://philipp.ruemmer.org/princess.shtml
License BSD-3-Clause
Dependencies amount 5
Dependencies scala-library, princess-parser_2.13, princess-smt-parser_2.13, scala-parser-combinators_2.13, java-cup,
There are maybe transitive dependencies!

princess-smt-parser_2.13 from group io.github.uuverifiers (version 2024-03-22)

Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.

Group: io.github.uuverifiers Artifact: princess-smt-parser_2.13
Show all versions Show documentation Show source

0 downloads

Artifact princess-smt-parser_2.13
Group io.github.uuverifiers
Version 2024-03-22
Last update 21. March 2024
Organization io.github.uuverifiers
URL https://philipp.ruemmer.org/princess.shtml
License BSD-3-Clause
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!

princess-parser_2.13 from group io.github.uuverifiers (version 2024-03-22)

Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.

Group: io.github.uuverifiers Artifact: princess-parser_2.13
Show all versions Show documentation Show source

0 downloads

Artifact princess-parser_2.13
Group io.github.uuverifiers
Version 2024-03-22
Last update 21. March 2024
Organization io.github.uuverifiers
URL https://philipp.ruemmer.org/princess.shtml
License BSD-3-Clause
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!

Page 13 from 16 (items total 159)