mahf-opt / mahfLinks
A framework for modular construction and evaluation of metaheuristics.
☆13Updated 3 months ago
Alternatives and similar repositories for mahf
Users that are interested in mahf are comparing it to the libraries listed below
Sorting:
- Evolutionary decision trees☆10Updated 2 months ago
- Repository to host the GRAPE code developed by the BDS group☆12Updated 3 months ago
- An open-source course on constraint solving☆24Updated 2 months ago
- Library for optimization with the model-based evolutionary algorithm GOMEA (Gene-pool Optimal Mixing Evolutionary Algorithm)☆22Updated last month
- Experimentation procedure for Iterative Optimization Heuristics☆60Updated 2 weeks ago
- Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses☆49Updated last week
- DDO a generic and efficient framework for MDD-based optimization.☆62Updated 3 months ago
- pandoc-like tool for symbolic regression expressions☆14Updated last year
- Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.☆49Updated 3 weeks ago
- Feature-Based Landscape Analysis of Continuous and Constrained Optimization Problems☆62Updated 2 years ago
- ☆11Updated 3 years ago
- Implementation of SGE Algorithm in Python 3☆20Updated last year
- Regular expression for form validations synthesizer☆15Updated 4 months ago
- Numerical Black-Box Optimization Benchmarking Framework☆286Updated 7 months ago
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆282Updated last week
- Verifier for pseudo-Boolean proofs☆14Updated 2 years ago
- An open-source framework for benchmarking of feature selection algorithms and cost functions.☆10Updated 5 years ago
- Template for Lean<->Rust FFI☆13Updated last year
- Replacing standard support propagation by belief propagation in MiniCP☆13Updated last month
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated 9 months ago
- A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed☆21Updated last week
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆18Updated last month
- A constraint programming solver with support for proof logging☆15Updated this week
- ☆12Updated last week
- XCSP3 Tools in Java☆23Updated 2 months ago
- A JAva MEtaheuristics Search framework☆30Updated 3 years ago
- Visual representation of the branch-and-cut tree of SCIP using spatial dissimilarities of LP solutions☆29Updated 3 years ago
- ☆20Updated 3 years ago
- Nutmeg – a MIP and CP branch-and-check solver☆26Updated 2 years ago
- Performant and safe knowledge compilation in rust☆30Updated 2 months ago