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:
- A Python library for logic formalisms representation and manipulation.☆16Updated last year
- Probabilistic programming system for fast and exact symbolic inference☆82Updated last year
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆67Updated last year
- ☆37Updated 10 months ago
- Counterexample-Driven Genetic Programming☆18Updated 3 years ago
- ☆72Updated 3 years ago
- Differentiable probabilistic answer set programming☆26Updated 3 months ago
- ☆13Updated last year
- python-wrapped version of ellen, a linear genetic programming system for symbolic regression and classification.☆57Updated 2 years ago
- a collection of Gymnasium environments for saturation provers☆23Updated this week
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- PonyGE2: grammatical evolution and variants in Python☆172Updated 2 months ago
- Repository to host the GRAPE code developed by the BDS group☆12Updated 4 months ago
- An inductive logic programming system☆237Updated last month
- Implementation of a differentiable CGP (Cartesian Genetic Programming)☆112Updated 2 years ago
- Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX☆11Updated this week
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated 4 months ago
- Push Genetic Programming in Python.☆75Updated 2 years ago
- ☆24Updated last month
- Access to all MiniZinc functionality directly from Python☆177Updated last week
- Experimentation framework for Popper☆23Updated 2 months ago
- Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"☆65Updated last year
- Implementation of SGE Algorithm in Python 3☆21Updated last year
- An environment for learning formal mathematical reasoning from scratch☆72Updated last year
- Code Building Genetic Programming for a narrow subset of the Clojure language.☆10Updated last year
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆291Updated this week
- General-purpose program synthesiser☆47Updated 10 months ago
- Tiny Genetic Programming in Python.☆103Updated 2 years ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆84Updated 6 months ago