Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 20 Solver Constraint Programming Open Source Projects

Open source projects categorized as Solver Constraint Programming
Categories > Constraint Programming
Categories > Mathematics > Solver
Incubator Kie Optaplanner ⭐ 3,241
AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
total releases 142most recent commit 2 months ago
Choco Solver ⭐ 654
An open-source Java library for Constraint Programming
dependent packages 23total releases 34most recent commit 3 months ago
Gecode ⭐ 251
Generic Constraint Development Environment
most recent commit 5 months ago
Decider ⭐ 120
An Open Source .Net Constraint Programming Solver
total releases 27most recent commit 2 years ago
Constraintsolver.jl ⭐ 117
ConstraintSolver in Julia: Blog posts ->
most recent commit 2 years ago
Pcp ⭐ 79
Constraint programming in Rust
total releases 4most recent commit 5 months ago
Diff Sat ⭐ 56
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
most recent commit 3 months ago
Pycsp3 ⭐ 50
A Python Library for modeling combinatorial constrained problems
most recent commit 3 months ago
Pymzn ⭐ 49
A Python wrapper for the MiniZinc tool pipeline.
dependent packages 3total releases 43most recent commit 5 years agopypi pymzn} Downloads
Centipede ⭐ 34
Constraint Satisfaction Problem Solver for Golang
total releases 6most recent commit 2 years ago
Ghost ⭐ 33
General meta-Heuristic Optimization Solving Toolkit
most recent commit 7 months ago
Solverl ⭐ 29
Erlang/Elixir interface to MiniZinc.
total releases 23most recent commit 5 months ago
Localsearchsolvers.jl ⭐ 24
A Julia package to manage Constraint-Based Local Search (CBLS) solvers.
most recent commit 7 months ago
Ace ⭐ 19
Constraint Solver ACE
most recent commit 4 months ago
Picat ⭐ 17
My unofficial picat http://picat-lang.org/ repository
most recent commit 3 months ago
Xcsp3 Cpp Parser ⭐ 15
XCSP3 Core Parser in C++
most recent commit 6 months ago
Jminizinc ⭐ 9
JMiniZinc
most recent commit 4 years ago
Cosoco ⭐ 8
COmpact SOlver for COnstrained problems
most recent commit 4 months ago
Nacre_mini ⭐ 6
NACRE : Nogood And Clause Reasoning Engine
most recent commit 5 years ago
Learniecp ⭐ 5
An implementation of MiniCP from a Julia Programmer's view
most recent commit 3 months ago
The 2 Most Depended On Solver Constraint Programming Open Source Projects
Choco Solver ⭐ 654
An open-source Java library for Constraint Programming
dependent packages 23total releases 34latest release November 02, 2023most recent commit 3 months ago
Pymzn ⭐ 49
A Python wrapper for the MiniZinc tool pipeline.
dependent packages 3total releases 43latest release August 05, 2019most recent commit 5 years agopypi pymzn} Downloads
The 7 Latest Releases In Solver Constraint Programming Open Source Projects
Choco Solver ⭐ 654
An open-source Java library for Constraint Programming
dependent packages 23total releases 34latest release November 02, 2023most recent commit 3 months ago
Pcp ⭐ 79
Constraint programming in Rust
total releases 4latest release December 21, 2022most recent commit 5 months ago
Decider ⭐ 120
An Open Source .Net Constraint Programming Solver
total releases 27latest release August 21, 2022most recent commit 2 years ago
Centipede ⭐ 34
Constraint Satisfaction Problem Solver for Golang
total releases 6latest release March 20, 2022most recent commit 2 years ago
Solverl ⭐ 29
Erlang/Elixir interface to MiniZinc.
total releases 23latest release June 14, 2021most recent commit 5 months ago
Pymzn ⭐ 49
A Python wrapper for the MiniZinc tool pipeline.
dependent packages 3total releases 43latest release August 05, 2019most recent commit 5 years agopypi pymzn} Downloads
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.