|6 months ago||about 1 month ago|
|GNU Lesser General Public License v3.0 only||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.
2 projects | /r/SideProject | 8 May 2021
Try the JS version at https://murfffi.github.io/zebra-apps/demo/index.html . Learn more and check out the Java code at https://github.com/murfffi/zebra4j . The puzzles are fully customizable and produce descriptions in natural language.
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 | /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.
JaCoP - Java Constraint Programming solver
gecode - Generic Constraint Development Environment
Decider - An Open Source .Net Constraint Programming Solver
chocosolver-samples - Some samples of chocosolver code
opennars - OpenNARS for Research 3.0+
backtrack-rs - Solve hard constraints easily with Rust.
pulp - A python Linear Programming API
ddo - DDO a generic and efficient framework for MDD-based optimization.
decider - A web application that assists network defenders, analysts, and researchers in the process of mapping adversary behaviors to the MITRE ATT&CK® framework.
Hodoku - Hodoku is a solver/generator/trainer/analyzer for standard sudoku.
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