HPI-ELEA / elea
Invent new EAs and GA or show your students how they work.
☆12Updated last month
Alternatives and similar repositories for elea:
Users that are interested in elea are comparing it to the libraries listed below
- Performance analyzer for Iterative Optimization Heuristics.☆24Updated 11 months ago
- GI in No Time - a Simple Microframework for Genetic Improvement☆44Updated 4 months ago
- Experimentation procedure for Iterative Optimization Heuristics☆58Updated this week
- Cartesian Genetic Programming for Julia☆70Updated 3 years ago
- Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses☆45Updated last week
- Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.☆169Updated last year
- pymhlib - A Toolbox for Metaheuristics and Hybrid Optimization Methods☆29Updated last year
- Synthesis with Metaheuristics - Genetic Programming in Scala☆15Updated 5 years ago
- Python General Framework for Genetic Improvement [Version 2]☆29Updated last year
- Push Genetic Programming in Python.☆75Updated last year
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆45Updated 5 years ago
- General-purpose program synthesiser☆45Updated 6 months ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆20Updated last year
- Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.☆62Updated 7 years ago
- Main repository of the GreatSPN framework☆45Updated 2 months ago
- A collection of problem specifications in Essence.☆10Updated 11 months ago
- Introduction to Evolutionary Computation class☆33Updated 2 weeks ago
- Cube-and-Conquer SAT solver☆34Updated last year
- Tiny Genetic Programming in Python.☆101Updated 2 years ago
- Programs and data to accompany the book "Random Number Generators, Principles and Practices"☆10Updated 6 years ago
- Counterexample-Driven Genetic Programming☆17Updated 2 years ago
- ☆21Updated 8 years ago
- A feature engineering automation tool for learning data representations☆34Updated last month
- An Evolutionary Computation framework☆17Updated 3 years ago
- Probabilistic programming system for fast and exact symbolic inference☆79Updated 9 months ago
- A Julia package for Prolog-style logic programming.☆177Updated 2 years ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated 2 years ago
- ☆19Updated 2 years ago
- a lightweight implementation of Cartesian genetic programming with symbolic regression in mind.☆23Updated 5 years ago