zebra4j
Choco
Our great sponsors
- InfluxDB - Collect and Analyze Billions of Data Points in Real Time
- Onboard AI - Learn any GitHub repo in 59 seconds
- SaaSHub - Software Alternatives and Reviews
| zebra4j | Choco | |
|---|---|---|
| 1 | 4 | |
| 10 | 651 | |
| - | 0.5% | |
| 0.0 | 0.0 | |
| 6 months ago | about 1 month ago | |
| Java | Java | |
| 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.
zebra4j
-
I made zebra4j - Java and JavaScript libraries for generating logic grid puzzles like the famous Zebra puzzle
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.
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.
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