Alternatives and similar repositories for GeneticEngine

Users that are interested in GeneticEngine are comparing it to the libraries listed below

• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆234Updated last month
• bdsul / grape
  Repository to host the GRAPE code developed by the BDS group
  ☆12Updated 2 months ago
• erp12 / cbgp-lite
  Code Building Genetic Programming for a narrow subset of the Clojure language.
  ☆10Updated last year
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆66Updated last year
• kamel-usp / dpasp
  Differentiable probabilistic answer set programming
  ☆26Updated last month
• kkrawiec / CDGP
  Counterexample-Driven Genetic Programming
  ☆18Updated 3 years ago
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• RomanKalkreuth / cgp-plusplus
  ☆13Updated last year
• erp12 / pyshgp
  Push Genetic Programming in Python.
  ☆75Updated 2 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated last month
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆23Updated 2 weeks ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆81Updated last year
• PonyGE / PonyGE2
  PonyGE2: grammatical evolution and variants in Python
  ☆171Updated 3 weeks ago
• probcomp / adev
  Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
  ☆64Updated last year
• steynvl / inferrer
  An automata learning library written in Python.
  ☆48Updated 5 years ago
• ilaspltd / ILASP-releases
  ☆37Updated 8 months ago
• whitemech / pylogics
  A Python library for logic formalisms representation and manipulation.
  ☆16Updated last year
• jespb / Python-M3GP
  An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…
  ☆9Updated 4 months ago
• darioizzo / dcgp
  Implementation of a differentiable CGP (Cartesian Genetic Programming)
  ☆111Updated 2 years ago
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated 6 months ago
• namin / holey
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆24Updated 2 weeks ago
• aig-upf / tarski
  Tarski - An AI Planning Modeling Framework
  ☆67Updated last year
• cavalab / srbench
  A living benchmark framework for symbolic regression
  ☆266Updated this week
• QuMuLab / dsharp
  ☆18Updated 3 years ago
• nunolourenco / sge3
  Implementation of SGE Algorithm in Python 3
  ☆20Updated last year
• giorgia-nadizar / cgpax
  Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX
  ☆10Updated last week
• inpefess / gym-saturation
  a collection of Gymnasium environments for saturation provers
  ☆22Updated last month
• heal-research / operon
  C++ Large Scale Genetic Programming
  ☆171Updated this week
• 921kiyo / symbolic-rl
  Symbolic Reinforcement Learning using Inductive Logic Programming
  ☆62Updated 2 years ago
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆49Updated last year