alcides / GeneticEngineLinks
Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses
☆49Updated last week
Alternatives and similar repositories for GeneticEngine
Users that are interested in GeneticEngine are comparing it to the libraries listed below
Sorting:
- PonyGE2: grammatical evolution and variants in Python☆171Updated last month
- Repository to host the GRAPE code developed by the BDS group☆12Updated 3 months ago
- EC-KitY: A scikit-learn-compatible Python tool kit for doing evolutionary computation.☆98Updated this week
- Experimentation framework for Popper☆23Updated last month
- Implementation of SGE Algorithm in Python 3☆20Updated last year
- Differentiable probabilistic answer set programming☆26Updated 2 months ago
- An inductive logic programming system☆236Updated 3 weeks ago
- A Python library for logic formalisms representation and manipulation.☆16Updated last year
- Tiny Genetic Programming in Python.☆104Updated 2 years ago
- Tarski - An AI Planning Modeling Framework☆68Updated last year
- Push Genetic Programming in Python.☆75Updated 2 years ago
- ☆13Updated last year
- General-purpose program synthesiser☆47Updated 10 months ago
- ☆37Updated 9 months ago
- Probabilistic programming system for fast and exact symbolic inference☆82Updated last year
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated 7 months ago
- Code Building Genetic Programming for a narrow subset of the Clojure language.☆10Updated last year
- Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX☆11Updated 2 weeks ago
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆282Updated last week
- a collection of Gymnasium environments for saturation provers☆22Updated 2 months ago
- Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"☆64Updated last year
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- A benchmark library for constraints☆96Updated last month
- Implementation of a differentiable CGP (Cartesian Genetic Programming)☆112Updated 2 years ago
- Counterexample-Driven Genetic Programming☆18Updated 3 years ago
- ☆35Updated last year
- Convex optimization modeling in Lean 4☆54Updated last year
- C. Hocquette and A. Cropper, Learning programs with magic values.☆19Updated 2 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆84Updated 5 months ago