constraint-programming

Open-source projects categorized as constraint-programming
Edit details
Language: + Python + Java + C++ + JavaScript + Prolog + Julia + C# + Assembly + Rust + Go + Elixir + Scala
Topics: constraint-satisfaction-problem Minizinc constraint-solver Optimization Artificial intelligence
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Top 19 constraint-programming Open-Source Projects

  • Choco

    An open-source Java library for Constraint Programming

  • hakank

    My public programs and models - mostly combinatorial problems and puzzles

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo

  • gecode

    Generic Constraint Development Environment

  • clpz

    Constraint Logic Programming over Integers

    • Project mention: Logic programming is overrated, at least for logic puzzles (2013) | news.ycombinator.com | 2023-06-01

    As pointed out in the comments in the article, these kinds of logic puzzles are easier to solve using constraint programming than "regular" logic programming.

    For example, see the solution to the Zebra Puzzle here: https://www.metalevel.at/prolog/puzzles which uses CLPZ[^1].

    [^1]: https://github.com/triska/clpz

  • SeaPearl.jl

    Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.

  • timefold-quickstarts

    Get started with Timefold quickstarts here. Timefold is the successor of OptaPlanner, by the OptaPlanner team. Optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems

    • Project mention: Planner programming blows my mind | news.ycombinator.com | 2024-02-20

    https://github.com/TimefoldAI/timefold-quickstarts

    As for the Community/Enterprise split - we want to continue the open source project, but we need to eat too :)

    Geoffrey

  • Decider

    An Open Source .Net Constraint Programming Solver (by lifebeyondfife)

    • Project mention: Modern SAT solvers: fast, neat and underused (2018) | news.ycombinator.com | 2023-05-26

    Plug for my Constraint Solver if anyone wants a simple example https://github.com/lifebeyondfife/Decider

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo

  • OptaPlanner

    Java Constraint Solver to solve vehicle routing, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.

    • Project mention: OptaPlanner VS timefold-solver - a user suggested alternative | libhunt.com/r/optaplanner | 2023-06-23

  • slothy

    Assembly super-optimization via constraint solving

    • Project mention: SLOTHY: Assembly Optimization via Constraint Solving | news.ycombinator.com | 2024-01-16

  • minizinc-python

    Access to all MiniZinc functionality directly from Python

    • Project mention: Matrix / 2d Array Puzzle-Like Problem | /r/algorithms | 2023-05-08

    Now, you say you need to solve this using Python. I would personally either use the MiniZinc Python driver or I would use the OR-Tools Python package and write a similar model to the one above.

  • biteopt

    Derivative-Free Global Optimization Method (C++, Python binding)

  • ddo

    DDO a generic and efficient framework for MDD-based optimization.

  • CNApy

    An integrated visual environment for metabolic modeling with common methods such as FBA, FVA and Elementary Flux Modes, and advanced features such as thermodynamic methods, extended Minimal Cut Sets, OptKnock, RobustKnock, OptCouple and more!

  • ordered

    Entropy-controlled contexts in Python (by hyperc-ai)

  • EA-FC-24-Automated-SBC-Solving

    EA FC 24 Automated SBC Solving using Integer Programming ⚽

    • Project mention: Open Source SBC Solver | /r/fut | 2023-08-05

  • solver

    SAT solver library in Go; wraps around Google's Operational Research Tools

  • gol.py

    efficient Game of Life in Python

  • solverview

    solverl+LiveView examples

  • golomb-solver

    Create Golomb rulers with constraint programming

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

constraint-programming related posts

Index

What are some of the best open-source constraint-programming projects? This list will help you:

Project Stars
1 Choco 673
2 hakank 353
3 gecode 262
4 clpz 172
5 SeaPearl.jl 165
6 timefold-quickstarts 156
7 Decider 145
8 OptaPlanner 138
9 slothy 132
10 minizinc-python 132
11 biteopt 127
12 ddo 53
13 CNApy 41
14 ordered 39
15 EA-FC-24-Automated-SBC-Solving 24
16 solver 22
17 gol.py 14
18 solverview 12
19 golomb-solver 5

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com