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:
- Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX☆11Updated this week
- Repository to host the GRAPE code developed by the BDS group☆12Updated 4 months ago
- Evolutionary decision trees☆11Updated 3 months ago
- Library for optimization with the model-based evolutionary algorithm GOMEA (Gene-pool Optimal Mixing Evolutionary Algorithm)☆22Updated 2 months ago
- pandoc-like tool for symbolic regression expressions☆14Updated last year
- Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses☆49Updated 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
- An open-source course on constraint solving☆24Updated 2 months ago
- Feature-Based Landscape Analysis of Continuous and Constrained Optimization Problems☆62Updated 2 years ago
- Regular expression for form validations synthesizer☆15Updated 5 months ago
- Numerical Black-Box Optimization Benchmarking Framework☆287Updated 8 months ago
- Template for Lean<->Rust FFI☆13Updated last year
- Experimentation procedure for Iterative Optimization Heuristics☆61Updated last week
- Implementation of SGE Algorithm in Python 3☆21Updated last year
- Verifying encodings into propositional logic in Lean☆12Updated 2 years ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated 4 months ago
- Symbolic Geometric Algebra with E-Graphs☆19Updated last year
- Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.☆49Updated last month
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated 10 months ago
- Tool for the automatic orchestration of experiments targeting software systems☆17Updated last week
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- Iterated Racing for Automatic Algorithm Configuration☆65Updated last week
- Code Building Genetic Programming for a narrow subset of the Clojure language.☆10Updated last year
- A constraint modelling and rewriting library and compiler framework written in rust☆25Updated 2 weeks ago
- Visual representation of the branch-and-cut tree of SCIP using spatial dissimilarities of LP solutions☆29Updated 3 years ago
- DDO a generic and efficient framework for MDD-based optimization.☆62Updated 4 months ago
- egraph <-> json☆14Updated 3 weeks ago
- ☆11Updated 3 years ago
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆10Updated 3 years ago
- A JAva MEtaheuristics Search framework☆30Updated 3 years ago