ddo
DDO a generic and efficient framework for MDD-based optimization. (by xgillard)
Decider
An Open Source .Net Constraint Programming Solver (by lifebeyondfife)
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
ddo
Posts with mentions or reviews of ddo.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-02-27.
-
Best student paper at CPAIOR conference
Ps: for anyone willing to skim through the code, here it is (https://github.com/xgillard/ddo). And for those interested, a preprint of the full paper is available here (https://arxiv.org/abs/2104.11951)
-
backtrack-rs: combinatorial search library, help me improve it!
On a side note, and slightly off topic (but you might like it though), you might also be interested in the DDO crate I maintain (https://github.com/xgillard/ddo). The point of ddo slightly differs from backtrack-rs as it targets constraint optimization rather than constraint satisfaction problems. DDO is written in Rust, it is fully generic and highly efficient. (In the last paper I submitted -- but has not been accepted yet -- I show an example where it fares better than Gurobi).
Decider
Posts with mentions or reviews of Decider.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-05-26.
-
Modern SAT solvers: fast, neat and underused (2018)
Plug for my Constraint Solver if anyone wants a simple example https://github.com/lifebeyondfife/Decider
-
Automated scheduling for a uni project
There are different tools and libraries out there for this. For example here is a .NET library for it. Google Cloud also apparently has an API you can use. There are also other hosted solutions out there.
What are some alternatives?
When comparing ddo and Decider you can also consider the following projects:
Choco - An open-source Java library for Constraint Programming
or-tools - Google's Operations Research tools:
OptaPlanner - Java Constraint Solver to solve vehicle routing, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
gecode - Generic Constraint Development Environment
VsVIM - Vim Emulator Plugin for Visual Studio 2015+
pub - The pub command line tool
clingo - 🤔 A grounder and solver for logic programs.
z3 - The Z3 Theorem Prover
scala - Scala 2 compiler and standard library. Bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3
sturm - Simpleminded terminal interface