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
  ☆245Updated 2 months ago
• kamel-usp / dpasp
  Differentiable probabilistic answer set programming
  ☆26Updated 5 months ago
• ilaspltd / ILASP-releases
  ☆38Updated last year
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆83Updated last year
• bdsul / grape
  Repository to host the GRAPE code developed by the BDS group
  ☆13Updated 6 months ago
• moshesipper / tiny_gp
  Tiny Genetic Programming in Python.
  ☆105Updated 2 years ago
• EC-KitY / EC-KitY
  EC-KitY: A scikit-learn-compatible Python tool kit for doing evolutionary computation.
  ☆101Updated 3 months ago
• 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
• darioizzo / dcgp
  Implementation of a differentiable CGP (Cartesian Genetic Programming)
  ☆113Updated 3 years ago
• probcomp / adev
  Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
  ☆66Updated 2 years ago
• nunolourenco / sge3
  Implementation of SGE Algorithm in Python 3
  ☆21Updated last year
• MiniZinc / minizinc-python
  Access to all MiniZinc functionality directly from Python
  ☆196Updated last week
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆68Updated last year
• 921kiyo / symbolic-rl
  Symbolic Reinforcement Learning using Inductive Logic Programming
  ☆62Updated 2 years ago
• PonyGE / PonyGE2
  PonyGE2: grammatical evolution and variants in Python
  ☆172Updated 4 months ago
• lio-wong / dreamcoder
  ☆73Updated 3 years ago
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆58Updated last year
• CPMpy / cpmpy
  Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
  ☆313Updated last week
• inpefess / gym-saturation
  a collection of Gymnasium environments for saturation provers
  ☆23Updated 2 months ago
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆23Updated 4 months ago
• RomanKalkreuth / cgp-plusplus
  ☆13Updated last year
• nathanael-fijalkow / DeepSynth
  DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …
  ☆48Updated last year
• erp12 / pyshgp
  Push Genetic Programming in Python.
  ☆80Updated 2 years ago
• whitemech / pylogics
  A Python library for logic formalisms representation and manipulation.
  ☆16Updated last year
• giorgia-nadizar / cgpax
  Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX
  ☆11Updated last month
• aig-upf / tarski
  Tarski - An AI Planning Modeling Framework
  ☆72Updated last year
• toulbar2 / toulbar2
  Exact optimization for cost function networks and additive graphical models
  ☆62Updated this week
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆12Updated 4 years ago
• cavalab / srbench
  A living benchmark framework for symbolic regression
  ☆282Updated last month