constraint-solver

Open-source projects categorized as constraint-solver
Edit details
Language: + Java + Haskell + C++ + C# + Python + Scala
Topics: constraint-satisfaction-problem constraint-programming Optimization Constraint Satisfaction Problem Solver vehicle-routing
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.
www.influxdata.com
featured

Top 8 constraint-solver Open-Source Projects

  • Choco

    An open-source Java library for Constraint Programming

  • timefold-solver

    The open source AI solver. 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

    Are the commercial offerings you mentioned better than TimeFold? [0] (formerly known as OptaPlanner before the main developers forked it)

    TimeFold's heuristics-based approach makes fast solutions to even highly-complex scenarios within the reach of anyone who can write Java expressions that evaluate to true when constraints are satisfied.

    [0] https://timefold.ai/

  • 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

  • holmes

    A reference library for constraint-solving with propagators and CDCL.

  • gecode

    Generic Constraint Development Environment

  • 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

  • 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

  • grilops

    a GRId LOgic Puzzle Solver library

  • SaaSHub

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

    SaaSHub logo

  • yuck

    Yuck is a local-search constraint solver with FlatZinc interface

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-solver related posts

  • or-tools VS timefold-solver - a user suggested alternative

    2 projects | 4 Jan 2024

  • Free Staff Rostering Software

    1 project | /r/software | 6 Dec 2023

  • OG OptaPlanner team continues on Timefoldfold Solver 1.1 is out now

    1 project | news.ycombinator.com | 11 Sep 2023

  • Searching for Shift-planning web-based solution

    1 project | /r/selfhosted | 24 Jun 2023

  • OptaPlanner VS timefold-solver - a user suggested alternative

    2 projects | 23 Jun 2023

  • Send+more=money and how to use forward-checking in search

    2 projects | news.ycombinator.com | 21 Jul 2021

  • Testing non-trivial software (C++)

    2 projects | /r/learnprogramming | 16 Jun 2021
  • A note from our sponsor - SaaSHub
    www.saashub.com | 3 May 2024
    SaaSHub helps you find the best software and product alternatives Learn more →

Index

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

Project Stars
1 Choco 673
2 timefold-solver 655
3 holmes 297
4 gecode 262
5 Decider 144
6 OptaPlanner 138
7 grilops 62
8 yuck 53

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