Download JAR files tagged by solver with all dependencies

jacop from group de.sciss (version 3.5.0)

Java Constraint Programming solver (fork)

Group: de.sciss Artifact: jacop
Show all versions Show documentation Show source

19 downloads

Artifact jacop
Group de.sciss
Version 3.5.0
Last update 01. September 2018
Organization de.sciss
URL https://github.com/Sciss/jacop
License AGPL v3
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

java-symbol-solver-parent from group com.github.javaparser (version 0.4.0)

Group: com.github.javaparser Artifact: java-symbol-solver-parent
Show all versions

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

0 downloads

Artifact java-symbol-solver-parent
Group com.github.javaparser
Version 0.4.0

java-symbol-solver-examples from group com.github.javaparser (version 0.3.2)

Group: com.github.javaparser Artifact: java-symbol-solver-examples
Show documentation Show source

2 downloads

Artifact java-symbol-solver-examples
Group com.github.javaparser
Version 0.3.2
Last update 24. October 2016
Organization not specified
URL Not specified
License Apache License, Version 2.0
Dependencies amount 4
Dependencies javaparser-core, javassist, guava, java-symbol-solver-core,
There are maybe transitive dependencies!

java-symbol-solver-parent from group me.tomassetti (version 0.3.1)

null

Group: me.tomassetti Artifact: java-symbol-solver-parent
Show all versions

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

0 downloads

Artifact java-symbol-solver-parent
Group me.tomassetti
Version 0.3.1
Last update 19. October 2016
Organization not specified
URL https://github.com/ftomassetti/java-symbol-solver
License The MIT License (MIT)
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

java-symbol-solver-core from group me.tomassetti (version 0.3.1)

Group: me.tomassetti Artifact: java-symbol-solver-core
Show all versions Show documentation Show source

2 downloads

Artifact java-symbol-solver-core
Group me.tomassetti
Version 0.3.1
Last update 19. October 2016
Organization not specified
URL Not specified
License Apache License, Version 2.0
Dependencies amount 6
Dependencies javaparser-core, javassist, guava, java-symbol-solver-model, java-symbol-solver-logic, javaslang,
There are maybe transitive dependencies!

java-symbol-solver-logic from group me.tomassetti (version 0.3.1)

Group: me.tomassetti Artifact: java-symbol-solver-logic
Show all versions Show documentation Show source

0 downloads

Artifact java-symbol-solver-logic
Group me.tomassetti
Version 0.3.1
Last update 19. October 2016
Organization not specified
URL Not specified
License Apache License, Version 2.0
Dependencies amount 5
Dependencies javaparser-core, javassist, guava, java-symbol-solver-model, javaslang,
There are maybe transitive dependencies!

java-symbol-solver-model from group me.tomassetti (version 0.3.1)

Group: me.tomassetti Artifact: java-symbol-solver-model
Show all versions Show documentation Show source

0 downloads

Artifact java-symbol-solver-model
Group me.tomassetti
Version 0.3.1
Last update 19. October 2016
Organization not specified
URL Not specified
License Apache License, Version 2.0
Dependencies amount 4
Dependencies javaparser-core, javassist, javaslang, guava,
There are maybe transitive dependencies!

javaparser-symbol-solver-core from group com.github.javaparser (version 3.26.3)

A Symbol Solver for Java, built on top of JavaParser (core)

Group: com.github.javaparser Artifact: javaparser-symbol-solver-core
Show all versions Show documentation Show source

118 downloads

Artifact javaparser-symbol-solver-core
Group com.github.javaparser
Version 3.26.3
Last update 16. December 2024
Organization not specified
URL Not specified
License GNU Lesser General Public License
Dependencies amount 3
Dependencies javaparser-core, javassist, guava,
There are maybe transitive dependencies!

theta-solver-z3-legacy from group hu.bme.mit.theta (version 6.8.5)

Solver Z3 Legacy subproject in the Theta model checking framework

Group: hu.bme.mit.theta Artifact: theta-solver-z3-legacy
Show all versions Show documentation Show source

0 downloads

Artifact theta-solver-z3-legacy
Group hu.bme.mit.theta
Version 6.8.5
Last update 14. November 2024
Organization not specified
URL https://theta.mit.bme.hu/
License The Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

theta-solver-z3 from group hu.bme.mit.theta (version 6.8.5)

Solver Z3 subproject in the Theta model checking framework

Group: hu.bme.mit.theta Artifact: theta-solver-z3
Show all versions Show documentation Show source

0 downloads

Artifact theta-solver-z3
Group hu.bme.mit.theta
Version 6.8.5
Last update 14. November 2024
Organization not specified
URL https://theta.mit.bme.hu/
License The Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

Page 7 from 17 (items total 168)