|about 2 months ago||7 days ago|
|GNU Affero General Public License v3.0||BSD 4-Clause "Original" or "Old" License|
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.
Sputnim A Sat Solver In Nim
1 project | reddit.com/r/nim | 5 Feb 2021
I used MiniZinc to model a scheduling problem for a customer which used constraints to block off already scheduled time, holiday time, non-work hours, etc. and it also had soft constraints for ensuring that blocks of time would be prioritized first to ensure that preferred representatives would get to a work with a given customer first based on previous relationship and skills. Once we translated the modelled constraints from MiniZinc to JaCoP in Java, the solution was able to generate hundreds of solutions per second. And note that it was able to do this minute level resolution such that no blocks of time were wasted because of scheduler limitations.
Constraint Programming: Solving Sudoku with Choco Solver library
2 projects | dev.to | 27 Apr 2021
Sudoku is one of these types of problems, but it has very simple rules, so it’s a nice playground to try out different ways to solve graph colouring problems. This post outlines a solution using constraint programming with choco solver.
backtrack-rs: combinatorial search library, help me improve it!
3 projects | reddit.com/r/rust | 27 Feb 2021
- Choco (https://choco-solver.org/): state of the art trailing solver, heavily tested, easy to get started with and actively maintained. Written in Java.
What are some alternatives?
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
Decider - An Open Source .Net Constraint Programming Solver
zebra4j - zebra4j is a generator and solver library for Zebra puzzles, also knows as "logic grid puzzles".
opennars - OpenNARS for Research 3.0+
chocosolver-samples - Some samples of chocosolver code
backtrack-rs - Solve hard constraints easily with Rust.