Alternatives and similar repositories for GeneticEngine

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

• kkrawiec / CDGP
  Counterexample-Driven Genetic Programming
  ☆17Updated 3 years ago
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆65Updated 2 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated last year
• jespb / Python-M3GP
  An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…
  ☆9Updated 3 months ago
• csplib / csplib
  A benchmark library for constraints
  ☆94Updated 9 months ago
• RomanKalkreuth / cgp-plusplus
  ☆14Updated last year
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆231Updated last month
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated last month
• PonyGE / PonyGE2
  PonyGE2: grammatical evolution and variants in Python
  ☆165Updated last month
• ilaspltd / ILASP-releases
  ☆37Updated 8 months ago
• probcomp / adev
  Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
  ☆64Updated last year
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆23Updated last year
• IBM / FormalML
  Formalization of Machine Learning Theory with Applications to Program Synthesis
  ☆76Updated 2 months ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆80Updated last year
• erp12 / cbgp-lite
  Code Building Genetic Programming for a narrow subset of the Clojure language.
  ☆10Updated last year
• namin / holey
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆21Updated 2 weeks ago
• statusfailed / numeric-optics-python
  ☆26Updated 3 years ago
• EC-KitY / EC-KitY
  EC-KitY: A scikit-learn-compatible Python tool kit for doing evolutionary computation.
  ☆97Updated 5 months ago
• kamel-usp / dpasp
  Differentiable probabilistic answer set programming
  ☆23Updated 3 weeks ago
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆25Updated 8 months ago
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated 6 months ago
• kavigupta / neurosym-lib
  Neurosymbolic Library
  ☆25Updated this week
• nunolourenco / sge3
  Implementation of SGE Algorithm in Python 3
  ☆20Updated last year
• QuMuLab / dsharp
  ☆18Updated 3 years ago
• bdsul / grape
  Repository to host the GRAPE code developed by the BDS group
  ☆11Updated last month
• toulbar2 / toulbar2
  Exact optimization for cost function networks and additive graphical models
  ☆57Updated last week
• inpefess / gym-saturation
  a collection of Gymnasium environments for saturation provers
  ☆22Updated last month
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆49Updated last year
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago