Choco
gecode
| Choco | gecode | |
|---|---|---|
| 4 | 4 | |
| 726 | 311 | |
| 0.3% | 0.6% | |
| 8.6 | 0.0 | |
| 5 days ago | 4 months ago | |
| Java | C++ | |
| BSD 4-Clause "Original" or "Old" License | GNU General Public License v3.0 or later |
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 (2020)
There are quite a few out there. I played with gecode as well as https://choco-solver.org/ which I found intuitive and fun to use.
-
How to Corrupt an SQLite Database File
I personally doesn't get surprised by POSIX to consider it's violating this "least surprise" amount.
Instead, for example Java has given me much more surprises, and at catastrophic levels. I was using Choco Solver [0] back in the day, and I created two instances of it, attached to different classes. Which is perfectly normal, right?
Somehow they've cross linked between these two instances, affected the results they have computed, and created persistent memory leaks which needed system reboots to claim back. Java should be immune to that, but no.
Preventing that needed to run only one instance of Choco, which limited my performance greatly. Luckily, the system had a queue/consumer structure, so running only one didn't need extensive changes.
[0]: https://choco-solver.org/
-
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.
gecode
-
Gecode is an open source C++ toolkit for developing constraint-based systems
Adding to wavemode, the Sudoku example is a good starting point: https://github.com/Gecode/gecode/blob/master/examples/sudoku...
In the documentation (https://www.gecode.org/doc-latest/MPG.pdf) there are a lot of worked examples as well.
-
Send+more=money and how to use forward-checking in search
Sure, there are lots but I think it should be doable. Will probably try sometime. Easiest is to make a model that fixes the lengths of the words, and just run it for different word lengths.
As a comparison, see this model solving crosswords using constraint programming. https://github.com/Gecode/gecode/blob/develop/examples/cross...
-
Testing non-trivial software (C++)
The main idea is that one defines tests that post the propagator on an initial domain, and then adding a checker for ground instances if it is a solution. The testing infrastructure runs the propagator in simulated setting, making sure that non-solutions are pruned and that solutions are found. Here is an example for the sorted constraint: sorted.cpp
What are some alternatives?
OptaPlanner - Java Constraint Solver to solve vehicle routing, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
decider - A web application that assists network defenders, analysts, and researchers in the process of mapping adversary behaviors to the MITRE ATT&CK® framework.
JaCoP - Java Constraint Programming solver
biteopt - Derivative-Free Global Optimization Algorithm (C++, Python binding) - Continuous, Discrete, TSP, NLS, MINLP
opennars - OpenNARS for Research 3.0+
Decider - An Open Source .Net Constraint Programming Solver