HPI-ELEA / eleaLinks
Invent new EAs and GA or show your students how they work.
☆12Updated last week
Alternatives and similar repositories for elea
Users that are interested in elea are comparing it to the libraries listed below
Sorting:
- Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses☆50Updated 3 weeks ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆50Updated last week
- Verifier for pseudo-Boolean proofs☆15Updated 3 years ago
- Experimentation procedure for Iterative Optimization Heuristics☆67Updated last month
- Performance analyzer for Iterative Optimization Heuristics.☆23Updated 4 months ago
- A Python Library for modeling combinatorial constrained problems☆81Updated last week
- A benchmark library for constraints☆98Updated 3 months ago
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆331Updated this week
- Metamath verifier in Python☆41Updated 8 months ago
- Tiny Genetic Programming in Python.☆106Updated 2 years ago
- Cube-and-Conquer SAT solver☆44Updated 6 months ago
- A naive implementation of a chess engine☆12Updated 2 months ago
- An open-source course on constraint solving☆25Updated 3 months ago
- Lingeling SAT Solver☆106Updated last year
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- Push Genetic Programming in Python.☆78Updated 2 years ago
- A computer algebra system for research in combinatorial game theory☆54Updated 2 years ago
- A Python package for automata theory.☆59Updated 2 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated 2 years ago
- Popeye is a chess problem solving and testing software with strong support for fairy chess and heterodox genres. For more information cf.…☆36Updated 3 weeks ago
- Bayesian Optimization for very Noisy functions☆18Updated 4 years ago
- Synthesis with Metaheuristics - Genetic Programming in Scala☆15Updated 6 years ago
- Python Bindings for the Probabilistic Model Checker Storm☆39Updated this week
- DepQBF, a solver for quantified boolean formulae (QBF).☆39Updated 2 years ago
- Symbolic regression solver, based on genetic programming methodology.☆128Updated 10 years ago
- XCSF learning classifier system: rule-based online evolutionary machine learning☆35Updated last week
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Updated 5 months ago
- EC-KitY: A scikit-learn-compatible Python tool kit for doing evolutionary computation.☆102Updated 5 months ago
- metamath proof enumerators and other things☆92Updated 2 months ago
- A fully Bayesian implementation of sequential model-based optimization☆42Updated 3 months ago