Alternatives and similar repositories for psb2-python

Users that are interested in psb2-python are comparing it to the libraries listed below

• thelmuth / program-synthesis-benchmark-datasets
  Repository of datasets for the General Program Synthesis Benchmark Suite
  ☆13Updated 3 years ago
• SynthesisLab / DeepSynth2
  General purpose program synthetiser with existing Programming By Examples (PBE) pipeline
  ☆20Updated 4 months ago
• erp12 / cbgp-lite
  Code Building Genetic Programming for a narrow subset of the Clojure language.
  ☆10Updated last year
• ilaspltd / ILASP-releases
  ☆38Updated last year
• alcides / GeneticEngine
  Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses
  ☆49Updated 2 weeks ago
• kach / memo
  A probabilistic programming language for metacognitive modeling
  ☆131Updated 2 weeks ago
• gintool / gin
  GI in No Time - a Simple Microframework for Genetic Improvement
  ☆48Updated last week
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆85Updated 8 months ago
• NeuralNetworkVerification / Marabou
  ☆302Updated last month
• pacti-org / pacti
  A package for compositional system analysis and design
  ☆25Updated 4 months ago
• kavigupta / neurosym-lib
  Neurosymbolic Library
  ☆27Updated last month
• sisl / NNet
  Documentation and scripts related to the .nnet file format. This file format specifies a simple text file to define feed-forward, fully-c…
  ☆40Updated 8 months ago
• spike-imperial / FastLAS
  ☆20Updated 3 months ago
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆382Updated 2 months ago
• asolarlez / sketch-frontend
  ☆38Updated 8 months ago
• iscas-tis / ePMC
  EPMC: An Extendible Probabilistic Model Checker
  ☆19Updated 10 months ago
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆30Updated 2 weeks ago
• dreal / dreal4
  Automated Reasoning in Nonlinear Theories of Reals
  ☆176Updated last week
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆83Updated 2 months ago
• QuMuLab / dsharp
  ☆20Updated 3 years ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆205Updated 4 years ago
• chenxin415 / flowstar
  The latest source code of the tool Flow*
  ☆29Updated 2 years ago
• kkrawiec / CDGP
  Counterexample-Driven Genetic Programming
  ☆18Updated 3 years ago
• jtcbrule / whittemore
  Causal programming in Clojure
  ☆26Updated 4 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆83Updated last year
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆39Updated 2 years ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆67Updated last week
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆245Updated 2 months ago
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆23Updated 4 months ago
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆105Updated last year