Choco
opennars
Our great sponsors
Choco | opennars | |
---|---|---|
4 | 5 | |
668 | 369 | |
0.6% | 1.9% | |
8.8 | 0.0 | |
3 months ago | about 3 years ago | |
Java | Java | |
BSD 4-Clause "Original" or "Old" License | MIT 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.
Choco
-
Constraint Programming: Solving Sudoku with Choco Solver library
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!
- Choco (https://choco-solver.org/): state of the art trailing solver, heavily tested, easy to get started with and actively maintained. Written in Java.
opennars
We haven't tracked posts mentioning opennars yet.
Tracking mentions began in Dec 2020.
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
zebra4j - zebra4j is a generator and solver library for Zebra puzzles, also knows as "logic grid puzzles".
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
opencog - A framework for integrated Artificial Intelligence & Artificial General Intelligence (AGI)
Hodoku - Hodoku is a solver/generator/trainer/analyzer for standard sudoku.
backtrack-rs - Solve hard constraints easily with Rust.
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.