ichorid / ringsatLinks
CDCL SAT-solver for GPUs
☆12Updated 8 years ago
Alternatives and similar repositories for ringsat
Users that are interested in ringsat are comparing it to the libraries listed below
Sorting:
- Online BDD Simulation Tool☆20Updated 2 weeks ago
- ☆11Updated 3 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- Cube-and-Conquer SAT solver☆36Updated 3 weeks ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆45Updated 5 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆36Updated 2 years ago
- The probSAT SAT Solver☆23Updated 2 years ago
- program synthesis is possible☆41Updated 5 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated last year
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆66Updated last year
- ☆149Updated this week
- A Python package for automata theory.☆56Updated last year
- Intrepyd Model Checker☆18Updated 3 years ago
- A tool for proving and organizing general theorems using Python.☆29Updated this week
- Pedagogical first-order prover in Python☆76Updated 2 months ago
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated last year
- An curated list of papers on program synthesis.☆69Updated 6 years ago
- Specify and synthesize systems using symbolic algorithms☆50Updated 9 months ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆12Updated 2 years ago
- A model checker based on SAT solving and induction☆14Updated 10 years ago
- Repository of benchmarks for SYNTCOMP☆13Updated 2 months ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆22Updated 2 years ago
- General-purpose program synthesiser☆46Updated 9 months ago
- Simple SAT solver with CDCL implemented in Python☆17Updated 2 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆52Updated last year
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆17Updated 2 years ago
- Metamath verifier in Python☆40Updated 2 months ago
- Jupyter kernel for Coq☆95Updated 11 months ago
- Python3 auto-active verification library (migrated to an Intel project)☆25Updated 3 years ago
- ☆14Updated 7 years ago