Alternatives and similar repositories for CDGP:

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

• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆32Updated 3 years ago
• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆25Updated 3 weeks ago
• rishabhs / sygus-comp14
  ☆40Updated 5 years ago
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• kkrawiec / swim
  Synthesis with Metaheuristics - Genetic Programming in Scala
  ☆15Updated 5 years ago
• riswords / quiche
  ☆21Updated last year
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year
• zhangir-azerbayev / mathlib-semantic-search
  ☆14Updated last year
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆26Updated 9 months ago
• yihozhang / egraph-sqlite
  egraph on top of sqlite
  ☆12Updated 2 years ago
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆20Updated last year
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 5 years ago
• steynvl / inferrer
  An automata learning library written in Python.
  ☆49Updated 4 years ago
• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆38Updated last year
• BartoszPiotrowski / lean-premise-selection
  ☆21Updated last year
• b-mehta / exponential-ramsey
  ☆14Updated last year
• akrasuski1 / eusolver-priority
  Grammar prioritization support for EUSolver.
  ☆12Updated 5 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• google-research / crossbeam
  ☆43Updated last year
• barakeel / oeis-synthesis
  ☆22Updated this week
• eth-sri / fastsmt
  Learning to Solve SMT Formulas Fast
  ☆85Updated 8 months ago
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆41Updated 3 years ago
• philzook58 / eggmt
  Egraphs Modulo Theories
  ☆13Updated 4 months ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆7Updated 5 years ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆45Updated 3 years ago
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆26Updated 3 weeks ago
• yihozhang / relational-ematching-benchmark
  ☆16Updated 3 years ago
• praveenkulkarni1996 / awesome-program-synthesis
  An curated list of papers on program synthesis.
  ☆68Updated 5 years ago