Download JAR files tagged by solver with all dependencies
javasmt-solver-mathsat5 from group org.sosy-lab (version 5.6.10)
Recompiled Version of the SMT solver Mathsat5 for use in JavaSMT
Group: org.sosy-lab Artifact: javasmt-solver-mathsat5
Show all versions
Show all versions
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact javasmt-solver-mathsat5
Group org.sosy-lab
Version 5.6.10
Last update 02. June 2023
Organization Software Systems Lab
URL https://github.com/sosy-lab/java-smt
License Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group org.sosy-lab
Version 5.6.10
Last update 02. June 2023
Organization Software Systems Lab
URL https://github.com/sosy-lab/java-smt
License Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
jblas-solver from group net.raumzeitfalle.registration (version 0.0.7)
Solver based on JBLAS (jblas.org) for image-registration
Group: net.raumzeitfalle.registration Artifact: jblas-solver
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact jblas-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!
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-metasolver from group tools.aqua (version 0.9.9)
jConstraints-metasolver is the solver strategy plug-in for jConstraints
Artifact jconstraints-metasolver
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 0
Dependencies No dependencies
There are maybe transitive dependencies!
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 0
Dependencies No dependencies
There are maybe transitive dependencies!
xfvrp from group com.github.hschneid (version 11.4.6-RELEASE)
Solver for realistic vehicle routing problems
1 downloads
Artifact xfvrp
Group com.github.hschneid
Version 11.4.6-RELEASE
Last update 17. December 2022
Organization not specified
URL https://github.com/hschneid/xfvrp
License MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group com.github.hschneid
Version 11.4.6-RELEASE
Last update 17. December 2022
Organization not specified
URL https://github.com/hschneid/xfvrp
License MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
jacomo-ortools from group nl.svenkonings.jacomo (version 0.1)
JaCoMo solver implementation using OR-Tools CP-SAT solver.
Group: nl.svenkonings.jacomo Artifact: jacomo-ortools
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact jacomo-ortools
Group nl.svenkonings.jacomo
Version 0.1
Last update 09. October 2022
Organization not specified
URL https://jacomo.svenkonings.nl
License Mozilla Public License Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group nl.svenkonings.jacomo
Version 0.1
Last update 09. October 2022
Organization not specified
URL https://jacomo.svenkonings.nl
License Mozilla Public License Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
jacomo-chocosolver from group nl.svenkonings.jacomo (version 0.1)
JaCoMo solver implementation using Choco-solver.
Group: nl.svenkonings.jacomo Artifact: jacomo-chocosolver
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact jacomo-chocosolver
Group nl.svenkonings.jacomo
Version 0.1
Last update 09. October 2022
Organization not specified
URL https://jacomo.svenkonings.nl
License Mozilla Public License Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group nl.svenkonings.jacomo
Version 0.1
Last update 09. October 2022
Organization not specified
URL https://jacomo.svenkonings.nl
License Mozilla Public License Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
optaplanner-wb-solver-editor-backend from group org.optaplanner (version 7.73.0.Final)
OptaPlanner Workbench - Solver Editor - Backend
Group: org.optaplanner Artifact: optaplanner-wb-solver-editor-backend
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact optaplanner-wb-solver-editor-backend
Group org.optaplanner
Version 7.73.0.Final
Last update 18. July 2022
Organization not specified
URL Not specified
License not specified
Dependencies amount 19
Dependencies uberfire-services-api, uberfire-project-api, errai-bus, uberfire-backend-server, uberfire-io, uberfire-nio2-model, uberfire-api, optaplanner-wb-solver-editor-api, optaplanner-core, kie-api, drools-compiler, kie-wb-common-refactoring-backend, kie-wb-common-services-api, kie-wb-common-services-backend, slf4j-api, uberfire-commons-editor-api, uberfire-commons-editor-backend, xstream, kie-soup-xstream,
There are maybe transitive dependencies!
Group org.optaplanner
Version 7.73.0.Final
Last update 18. July 2022
Organization not specified
URL Not specified
License not specified
Dependencies amount 19
Dependencies uberfire-services-api, uberfire-project-api, errai-bus, uberfire-backend-server, uberfire-io, uberfire-nio2-model, uberfire-api, optaplanner-wb-solver-editor-api, optaplanner-core, kie-api, drools-compiler, kie-wb-common-refactoring-backend, kie-wb-common-services-api, kie-wb-common-services-backend, slf4j-api, uberfire-commons-editor-api, uberfire-commons-editor-backend, xstream, kie-soup-xstream,
There are maybe transitive dependencies!
optaplanner-wb-solver-editor-client from group org.optaplanner (version 7.73.0.Final)
OptaPlanner Workbench - Solver Editor - Client
Group: org.optaplanner Artifact: optaplanner-wb-solver-editor-client
Show all versions Show documentation Show source
Show all versions Show documentation Show source
1 downloads
Artifact optaplanner-wb-solver-editor-client
Group org.optaplanner
Version 7.73.0.Final
Last update 18. July 2022
Organization not specified
URL Not specified
License not specified
Dependencies amount 29
Dependencies jakarta.inject-api, jakarta.annotation-api, gwtbootstrap3, gwtbootstrap3-extras, uberfire-project-api, uberfire-services-api, errai-cdi-shared, errai-common, errai-data-binding, errai-ioc, errai-security-server, optaplanner-core, optaplanner-workbench-models-core, uberfire-commons, uberfire-security-api, uberfire-widgets-commons, uberfire-widgets-core-ace, uberfire-api, uberfire-client-api, uberfire-workbench-client, uberfire-workbench-client-views-patternfly, uberfire-message-console-client, optaplanner-wb-solver-editor-api, kie-wb-metadata-widget, kie-wb-common-ui, uberfire-commons-editor-client, errai-ui, uberfire-commons-editor-api, elemental2-promise,
There are maybe transitive dependencies!
Group org.optaplanner
Version 7.73.0.Final
Last update 18. July 2022
Organization not specified
URL Not specified
License not specified
Dependencies amount 29
Dependencies jakarta.inject-api, jakarta.annotation-api, gwtbootstrap3, gwtbootstrap3-extras, uberfire-project-api, uberfire-services-api, errai-cdi-shared, errai-common, errai-data-binding, errai-ioc, errai-security-server, optaplanner-core, optaplanner-workbench-models-core, uberfire-commons, uberfire-security-api, uberfire-widgets-commons, uberfire-widgets-core-ace, uberfire-api, uberfire-client-api, uberfire-workbench-client, uberfire-workbench-client-views-patternfly, uberfire-message-console-client, optaplanner-wb-solver-editor-api, kie-wb-metadata-widget, kie-wb-common-ui, uberfire-commons-editor-client, errai-ui, uberfire-commons-editor-api, elemental2-promise,
There are maybe transitive dependencies!
jacop from group de.sciss (version 3.5.0)
Java Constraint Programming solver (fork)
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!
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)
A Symbol Solver for Java, built on top of JavaParser
Group: com.github.javaparser Artifact: java-symbol-solver-parent
Show all versions
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
Last update 23. November 2016
Organization not specified
URL https://github.com/ftomassetti/java-symbol-solver
License Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group com.github.javaparser
Version 0.4.0
Last update 23. November 2016
Organization not specified
URL https://github.com/ftomassetti/java-symbol-solver
License Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Page 6 from 3 (items total 165)