kkrawiec / CDGP

Related projects: ⓘ

• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆31Updated 3 years ago
• kkrawiec / swim
  Synthesis with Metaheuristics - Genetic Programming in Scala
  ☆15Updated 4 years ago
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆24Updated 4 months ago
• daajoe / GPUSAT
  ☆11Updated 2 years ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆31Updated last year
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆18Updated last year
• PL-ML / metal
  Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis
  ☆15Updated 5 years ago
• rishabhs / sygus-comp14
  ☆40Updated 5 years ago
• opencompl / egg-tactic-code
  ☆13Updated last year
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆48Updated 3 years ago
• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆22Updated last month
• praveenkulkarni1996 / awesome-program-synthesis
  An curated list of papers on program synthesis.
  ☆67Updated 5 years ago
• adrianopolus / probSAT
  The probSAT SAT Solver
  ☆19Updated last year
• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆34Updated last year
• seahorn / verify-c-common
  ☆15Updated 3 months ago
• yihozhang / egraph-sqlite
  egraph on top of sqlite
  ☆12Updated 2 years ago
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆27Updated 2 years ago
• GaloisInc / LinearArbitrary-SeaHorn
  LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
  ☆20Updated last year
• yihozhang / relational-ematching-benchmark
  ☆13Updated 2 years ago
• eth-sri / fastsmt
  Learning to Solve SMT Formulas Fast
  ☆78Updated 3 months ago
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆47Updated 4 years ago
• RafaelTupynamba / quicksampler
  Efficient Sampling of SAT Solutions for Testing
  ☆34Updated 5 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆52Updated 6 months ago
• liffiton / minicard
  MiniCard: An efficient cardinality solver based on MiniSAT
  ☆16Updated 3 years ago
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆11Updated 3 weeks ago
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆11Updated last month
• VeraLiconaResearchGroup / MHSGenerationAlgorithms
  ☆14Updated 2 months ago
• asolarlez / sketch-backend
  ☆38Updated last year
• microsoft / mcBV
  A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.
  ☆16Updated last year