biteopt
gecode
| biteopt | gecode | |
|---|---|---|
| 2 | 3 | |
| 127 | 262 | |
| - | 1.1% | |
| 6.0 | 0.0 | |
| 2 months ago | about 1 month ago | |
| C++ | C++ | |
| GNU General Public License v3.0 or later | 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.
biteopt
gecode
-
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?
SpeciaLUT - Runtime choosing of template specializations using compile-time lookup-tables. Compile all states of a template function, but execute the optimal one at runtime.
Choco - An open-source Java library for Constraint Programming
OrangeC - OrangeC Compiler And Tool Chain
OptaPlanner - Java Constraint Solver to solve vehicle routing, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
LazyMath - Complex Conjugate Gradient linear solver and Levenberg-Marquardt minimizer with and without constraints in C++
Decider - An Open Source .Net Constraint Programming Solver
palanteer - Visual Python and C++ nanosecond profiler, logger, tests enabler
decider - A web application that assists network defenders, analysts, and researchers in the process of mapping adversary behaviors to the MITRE ATT&CK® framework.
gago - :four_leaf_clover: Evolutionary optimization library for Go (genetic algorithm, partical swarm optimization, differential evolution)
Google Test - GoogleTest - Google Testing and Mocking Framework
shenanigans - Semi-random funky stuff, mainly for my PhD experiments and articles. Contains calculations and algorithm implementations for various applied mathematics and astrophysics articles I worked on.
zoofs - zoofs is a python library for performing feature selection using a variety of nature-inspired wrapper algorithms. The algorithms range from swarm-intelligence to physics-based to Evolutionary. It's easy to use , flexible and powerful tool to reduce your feature size.