kkrawiec / CDGP

Related projects ⓘ

Alternatives and complementary repositories for CDGP

• kkrawiec / swim
  Synthesis with Metaheuristics - Genetic Programming in Scala
  ☆15Updated 5 years ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆48Updated 3 years ago
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• 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
• PL-ML / metal
  Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis
  ☆15Updated 5 years ago
• rishabhs / sygus-comp14
  ☆40Updated 5 years ago
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year
• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆34Updated last year
• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆22Updated 3 months ago
• Shufang-Zhu / Syft
  Synthesizer of LTLf formula
  ☆9Updated last year
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆20Updated last year
• GaloisInc / LinearArbitrary-SeaHorn
  LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
  ☆21Updated last year
• yihozhang / egraph-sqlite
  egraph on top of sqlite
  ☆12Updated 2 years ago
• eth-sri / fastsmt
  Learning to Solve SMT Formulas Fast
  ☆85Updated 5 months ago
• opencompl / egg-tactic-code
  ☆13Updated last year
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated last year
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆27Updated 2 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆67Updated last year
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆26Updated 6 months ago
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆18Updated last year
• google-research / crossbeam
  ☆43Updated last year
• SaswatPadhi / LoopInvGen
  Generates loop invariants for program verification
  ☆58Updated 3 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆73Updated 2 weeks ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆53Updated 3 weeks ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 4 months ago
• vardigroup / lisa
  Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…
  ☆12Updated 3 years ago
• marcelosousa / descartes
  descartes: the cartesian hoare logic prover
  ☆12Updated 7 years ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆33Updated last year
• yihozhang / relational-ematching-benchmark
  ☆15Updated 2 years ago
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆15Updated 2 weeks ago