Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
repo1.maven.org "solver" keyword
org.sosy-lab:javasmt-yices2 4.0.1
JavaSMT bindings for the SMT solver Yices6 versions - Latest release: 12 months ago - 2 dependent repositories - 140 stars on GitHub
org.sosy-lab:java-smt 4.1.1
Unified acccess layer to SMT solvers50 versions - Latest release: 4 months ago - 3 dependent packages - 16 dependent repositories - 140 stars on GitHub
org.sosy-lab:javasmt-solver-cvc5 1.0.5-g4cb2ab9eb
SMT solver CVC5 for use in JavaSMT3 versions - Latest release: about 1 year ago - 1 dependent repositories - 140 stars on GitHub
org.sosy-lab:javasmt-solver-mathsat5 5.6.10
Recompiled Version of the SMT solver Mathsat5 for use in JavaSMT6 versions - Latest release: 12 months ago - 1 dependent package - 5 dependent repositories - 140 stars on GitHub
org.sosy-lab:javasmt-solver-yices2 2.6.4-264-g553897f5
SMT solver Yices for use in JavaSMT2 versions - Latest release: 3 months ago - 2 dependent repositories - 140 stars on GitHub
org.sosy-lab:javasmt-solver-cvc4 1.8-prerelease-2020-06-24-g7825d8f28
SMT solver CVC4 for use in JavaSMT1 version - Latest release: over 3 years ago - 3 dependent repositories - 140 stars on GitHub
org.sosy-lab:javasmt-solver-boolector 3.2.2-gcc3a7091
SMT solver Boolector for use in JavaSMT4 versions - Latest release: over 2 years ago - 3 dependent repositories - 140 stars on GitHub
org.sosy-lab:javasmt-solver-z3 4.12.5
SMT solver Z3 for use in JavaSMT21 versions - Latest release: 4 months ago - 2 dependent packages - 8 dependent repositories - 140 stars on GitHub
org.draegerlab:sbscl 2.1
The Systems Biology Simulation Core Library provides an efficient and exhaustive Java™ implementa...1 version - Latest release: about 3 years ago - 1 dependent repositories - 20 stars on GitHub
org.choco-solver:choco-samples 3.3.3
Choco is a Free and Open-Source Software dedicated to Constraint Programming. It aims at describi...7 versions - Latest release: over 8 years ago - 651 stars on GitHub
org.choco-solver:choco-parsers 4.10.14
Provide parsers from FlatZinc, XCSP3 and MSP to Choco-solver.17 versions - Latest release: 7 months ago - 2 dependent packages - 5 dependent repositories - 651 stars on GitHub
Top 8.0% on repo1.maven.org
33 versions - Latest release: 7 months ago - 30 dependent packages - 113 dependent repositories - 651 stars on GitHub
org.choco-solver:choco-solver 4.10.14
Open-source constraint solver.33 versions - Latest release: 7 months ago - 30 dependent packages - 113 dependent repositories - 651 stars on GitHub
org.choco-solver:choco 4.10.14
A Free and Open-Source library dedicated to Constraint Programming.18 versions - Latest release: 7 months ago - 651 stars on GitHub
org.choco-solver:choco-sat 4.10.6
A SAT solver, used internally in choco-solver6 versions - Latest release: over 3 years ago - 2 dependent packages - 2 dependent repositories - 651 stars on GitHub
org.choco-solver:examples 4.10.14
Choco-solver in practice12 versions - Latest release: 7 months ago - 1 dependent repositories - 651 stars on GitHub
com.github.hschneid:xflp 0.3.0
Solver for realistic 3D container loading5 versions - Latest release: over 3 years ago - 20 stars on GitHub
Top 6.5% on repo1.maven.org
62 versions - Latest release: 4 months ago - 94 dependent packages - 255 dependent repositories - 415 stars on GitHub
org.ojalgo:ojalgo 53.3.0
oj! Algorithms - ojAlgo - is Open Source Java code that has to do with mathematics, linear algebr...62 versions - Latest release: 4 months ago - 94 dependent packages - 255 dependent repositories - 415 stars on GitHub
com.github.hschneid:xfvrp 11.4.6-RELEASE
Solver for realistic vehicle routing problems8 versions - Latest release: over 1 year ago - 5 stars on GitHub
io.github.murfffi:zebra4j 0.10
zebra4j is a generator and solver library for Zebra puzzles, also knows as "logic grid puzzles".5 versions - Latest release: over 1 year ago - 1 dependent repositories - 8 stars on GitHub
Top 4.9% on repo1.maven.org
80 versions - Latest release: 9 months ago - 11 dependent packages - 71 dependent repositories - 2,951 stars on GitHub
org.optaplanner:optaplanner-quarkus-jackson 9.44.0.Final
Activate Jackson bindings for OptaPlanner's Score classes80 versions - Latest release: 9 months ago - 11 dependent packages - 71 dependent repositories - 2,951 stars on GitHub
Top 6.7% on repo1.maven.org
80 versions - Latest release: 9 months ago - 5 dependent packages - 36 dependent repositories - 2,951 stars on GitHub
org.optaplanner:optaplanner-quarkus-jackson-integration-test 9.44.0.Final
Quarkus integration tests for OptaPlanner with Jackson80 versions - Latest release: 9 months ago - 5 dependent packages - 36 dependent repositories - 2,951 stars on GitHub
Top 5.9% on repo1.maven.org
80 versions - Latest release: 9 months ago - 7 dependent packages - 36 dependent repositories - 2,951 stars on GitHub
org.optaplanner:optaplanner-quarkus-jsonb 9.44.0.Final
Activate JSON-B bindings for OptaPlanner's Score classes80 versions - Latest release: 9 months ago - 7 dependent packages - 36 dependent repositories - 2,951 stars on GitHub
Top 6.7% on repo1.maven.org
80 versions - Latest release: 9 months ago - 5 dependent packages - 36 dependent repositories - 2,951 stars on GitHub
org.optaplanner:optaplanner-quarkus-jsonb-integration-test 9.44.0.Final
Quarkus integration tests for OptaPlanner with JSON-B80 versions - Latest release: 9 months ago - 5 dependent packages - 36 dependent repositories - 2,951 stars on GitHub
org.optaplanner:optaplanner-quarkus-devui-integration-test 9.44.0.Final
Quarkus Dev UI integration tests for OptaPlanner50 versions - Latest release: 9 months ago - 4 dependent repositories - 2,951 stars on GitHub
Top 6.4% on repo1.maven.org
53 versions - Latest release: 9 months ago - 6 dependent packages - 29 dependent repositories - 2,951 stars on GitHub
org.optaplanner:optaplanner-quarkus-benchmark 9.44.0.Final
Benchmark an OptaPlanner project to power tweak the solver configuration for speed and scalability.53 versions - Latest release: 9 months ago - 6 dependent packages - 29 dependent repositories - 2,951 stars on GitHub
Top 4.2% on repo1.maven.org
80 versions - Latest release: 9 months ago - 22 dependent packages - 89 dependent repositories - 2,951 stars on GitHub
org.optaplanner:optaplanner-quarkus 9.44.0.Final
Solve planning and scheduling with AI constraint optimization of vehicle routes, employee rosters...80 versions - Latest release: 9 months ago - 22 dependent packages - 89 dependent repositories - 2,951 stars on GitHub
org.optaplanner:optaplanner-quarkus-integration-test 9.44.0.Final
Quarkus integration tests for OptaPlanner58 versions - Latest release: 9 months ago - 4 dependent repositories - 2,951 stars on GitHub
Top 5.2% on repo1.maven.org
80 versions - Latest release: 9 months ago - 11 dependent packages - 43 dependent repositories - 2,951 stars on GitHub
org.optaplanner:optaplanner-quarkus-deployment 9.44.0.Final
Quarkus deployment module for optaplanner-quarkus.80 versions - Latest release: 9 months ago - 11 dependent packages - 43 dependent repositories - 2,951 stars on GitHub
org.optaplanner:optaplanner-quarkus-benchmark-integration-test 9.44.0.Final
Quarkus integration tests for OptaPlanner43 versions - Latest release: 9 months ago - 1 dependent repositories - 2,951 stars on GitHub
Top 5.6% on repo1.maven.org
80 versions - Latest release: 9 months ago - 8 dependent packages - 43 dependent repositories - 2,951 stars on GitHub
org.optaplanner:optaplanner-quarkus-jackson-deployment 9.44.0.Final
Quarkus deployment module for optaplanner-quarkus-jackson.80 versions - Latest release: 9 months ago - 8 dependent packages - 43 dependent repositories - 2,951 stars on GitHub
org.optaplanner:optaplanner-quarkus-drl-integration-test 9.44.0.Final
Quarkus integration tests for OptaPlanner using Drools constraints54 versions - Latest release: 9 months ago - 4 dependent repositories - 2,951 stars on GitHub
Top 7.7% on repo1.maven.org
53 versions - Latest release: 9 months ago - 4 dependent packages - 21 dependent repositories - 2,951 stars on GitHub
org.optaplanner:optaplanner-quarkus-benchmark-deployment 9.44.0.Final
Quarkus deployment module for optaplanner-quarkus-benchmark.53 versions - Latest release: 9 months ago - 4 dependent packages - 21 dependent repositories - 2,951 stars on GitHub
Top 6.7% on repo1.maven.org
80 versions - Latest release: 9 months ago - 5 dependent packages - 35 dependent repositories - 2,951 stars on GitHub
org.optaplanner:optaplanner-quarkus-jsonb-deployment 9.44.0.Final
Quarkus deployment module for optaplanner-quarkus-jsonb.80 versions - Latest release: 9 months ago - 5 dependent packages - 35 dependent repositories - 2,951 stars on GitHub
nl.svenkonings.jacomo:jacomo-chocosolver 0.1
JaCoMo solver implementation using Choco-solver.5 versions - Latest release: over 1 year ago - 1 dependent repositories - 4 stars on GitHub
nl.svenkonings.jacomo:jacomo 0.1
A high-level, solver-independent, Java constraint model for constraint satisfaction problems in t...5 versions - Latest release: over 1 year ago - 2 dependent packages - 4 stars on GitHub
nl.svenkonings.jacomo:jacomo-ortools 0.1
JaCoMo solver implementation using OR-Tools CP-SAT solver.5 versions - Latest release: over 1 year ago - 4 stars on GitHub
Related Keywords
java
35
constraints
24
constraint-solver
23
constraint-satisfaction-problem
23
constraint-programming
23
optimization
16
traveling-salesman
15
vehicle-routing-problem
15
artificial-intelligence
14
branch-and-bound
14
employee-rostering
14
local-search
14
mathematical-optimization
14
metaheuristics
14
rostering
14
scheduling
14
simulated-annealing
14
tabu-search
14
traveling-salesman-problem
14
constraint-optimisation-problem
9
csp
9
smt
8
copr
6
constraint-model
3
java-constraint-model
3
algorithms
2
3d
1
transformations
1
meta-heuristic
1
systems-biology-simulation
1
tsp-problem
1
steady-state
1
vrp
1
logic-puzzle
1
logic-puzzles
1
zebra-puzzles
1
simulations
1
simulation
1
sbml-model
1
sbml
1
ordinary-differential-equations
1
ode-solver
1
numerical-simulations
1
linear-programming
1
library
1
flux-balance-analysis
1
fba
1
constraint-based-modeling
1
api
1
3d-bin-packing
1
3d-bin-packing-problem
1
container-loading
1
container-packing
1
truck-loading
1
truck-loading-problem
1
algorithm
1
arrays
1
blas
1
lapack
1
least-squares
1
linear-algebra
1
machine-learning
1
math
1
mathematical-programming
1
matrix-library
1
multi-threading
1
ojalgo
1
time-series-analysis
1
optimization-algorithms
1
polynomial
1
sparse-matrix
1