Alternatives and similar repositories for cuda-sat-solver:

Users that are interested in cuda-sat-solver are comparing it to the libraries listed below

• vegard / clsat
  OpenCL SAT solver
  ☆16Updated 13 years ago
• sumith1896 / tusSAT
  A SAT solver implementation in VHDL, team tussle
  ☆20Updated 9 years ago
• agra-uni-bremen / metaSMT
  ☆52Updated 9 years ago
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆40Updated last month
• bchurchill / pldi19-equivalence-checker
  Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
  ☆41Updated 5 years ago
• cesaro / dpu
  Dynamic analysis of multithreaded C programs
  ☆13Updated 5 years ago
• tracer-x / TracerX-examples
  Examples for TracerX KLEE
  ☆9Updated 4 years ago
• martinjonas / Q3B
  ☆28Updated 2 weeks ago
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated this week
• vegard / cnf-utils
  Dimacs CNF utilities
  ☆20Updated 14 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• lammich / isabelle_llvm
  Isabelle LLVM Code Generator and Refinement
  ☆27Updated last month
• mit-plv / hemiola
  A Coq framework to support structural design and proof of hardware cache-coherence protocols
  ☆13Updated 2 years ago
• delcypher / nsolv
  Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.
  ☆12Updated 12 years ago
• SRI-CSL / libpoly
  LibPoly is a C library for manipulating polynomials
  ☆51Updated 3 months ago
• niklasso / minisatp
  The Pseudo-Boolean Solver MiniSat+
  ☆27Updated 12 years ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• stp / minisat
  A minimalistic and high-performance SAT solver
  ☆28Updated 2 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
• adrianopolus / probSAT
  The probSAT SAT Solver
  ☆22Updated 2 years ago
• CompArchCam / Janus
  Automatic Binary Parallelisation
  ☆43Updated last month
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆12Updated 7 months ago
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆34Updated last year
• gergo- / ldrgen
  Liveness-driven random C code generator
  ☆41Updated 9 months ago
• ftsrg / gazer
  An LLVM-based formal verification frontend for C programs.
  ☆24Updated 3 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆47Updated 6 months ago
• daniellustig / pipecheck
  ☆19Updated 10 years ago
• johnwickerson / memalloy
  Memory consistency modelling using Alloy
  ☆29Updated 4 years ago
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆83Updated last week
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆59Updated 5 months ago