aaw / sat

Related projects ⓘ

Alternatives and complementary repositories for sat

• ths-rwth / smtrat
  ☆52Updated 2 months ago
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆73Updated last year
• Udopia / gbd
  Management of Benchmark Instances and Instance Attributes
  ☆17Updated 3 weeks ago
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated last year
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆48Updated 2 years ago
• hgarrereyn / SBVA
  Structured BVA
  ☆30Updated 6 months ago
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆78Updated this week
• fbacchus / MaxHS
  MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus
  ☆24Updated 2 years ago
• SRI-CSL / libpoly
  LibPoly is a C library for manipulating polynomials
  ☆46Updated last month
• stanford-centaur / smt-switch
  A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
  ☆114Updated 2 weeks ago
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆31Updated last year
• ths-rwth / carl
  ☆29Updated 5 months ago
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆99Updated 8 months ago
• davewathaverford / the-omega-project
  Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…
  ☆70Updated 3 years ago
• muhos / ParaFROST
  A Parallel SAT Solver with GPU Accelerated Inprocessing
  ☆86Updated 2 months ago
• arminbiere / satch
  SAT Solver SATCH
  ☆108Updated 2 years ago
• SRI-CSL / yices2
  The Yices SMT Solver
  ☆374Updated this week
• scipopt / soplex
  Sequential object-oriented simPlex
  ☆61Updated this week
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆73Updated 2 weeks ago
• ivmai / cudd
  CUDD: CU Decision Diagram package - unofficial git mirror of https://web.archive.org/web/20180127051756/http://vlsi.colorado.edu/~fabio/C…
  ☆117Updated last year
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆38Updated 2 years ago
• master-keying / minisat
  A minimalistic and high-performance SAT solver
  ☆143Updated 3 years ago
• audemard / glucose
  The glucose SAT solver
  ☆80Updated 2 weeks ago
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆50Updated 6 months ago
• paradise-fi / divine
  DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…
  ☆20Updated 3 years ago
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆67Updated 5 months ago
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆40Updated last year
• msoos / cnf-utils
  Dimacs CNF utilities
  ☆20Updated 9 months ago