Alternatives and similar repositories for boolexpr

Users that are interested in boolexpr are comparing it to the libraries listed below

• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated 5 months ago
• liffiton / PyMiniSolvers
  A Python API for the MiniSat and MiniCard constraint solvers.
  ☆22Updated 5 months ago
• qfiard / cuda-sat-solver
  An implementation of a SAT solver using the CUDA library
  ☆15Updated 7 years ago
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated 2 years ago
• adrianopolus / probSAT
  The probSAT SAT Solver
  ☆26Updated 3 years ago
• stp / minisat
  A minimalistic and high-performance SAT solver
  ☆28Updated 2 years ago
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆105Updated last year
• hipacc / hipacc
  A domain-specific language and compiler for image processing
  ☆77Updated 4 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆49Updated 4 years ago
• cuddorg / cudd
  CUDD Decision Diagram Package
  ☆147Updated this week
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆50Updated 4 years ago
• bthies / streamit
  The StreamIt compiler infrastructure.
  ☆71Updated 9 years ago
• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆63Updated 2 months ago
• niklasso / minisatp
  The Pseudo-Boolean Solver MiniSat+
  ☆29Updated 13 years ago
• embecosm / gso2
  GNU Superoptimizer Version 2
  ☆26Updated 4 years ago
• wsmoses / Tapir-LLVM
  Tapir extension to LLVM for optimizing Parallel Programs
  ☆132Updated 5 years ago
• cjang / GATLAS
  GPU Automatically Tuned Linear Algebra Software
  ☆28Updated 10 years 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…
  ☆72Updated 4 years ago
• lsils / kitty
  C++ truth table library
  ☆62Updated 4 months ago
• s-kanev / XIOSim
  A detailed michroarchitectural x86 simulator
  ☆62Updated 8 years ago
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆40Updated 4 months ago
• msoeken / cirkit
  A circuit toolkit
  ☆106Updated 5 years ago
• periscop / candl
  Data Dependence Analyzer in the Polyhedral Model
  ☆21Updated 2 years ago
• abenkhadra / gosat
  SMT solver for the theory of floating-point arithmetic
  ☆26Updated 7 years ago
• mc-imperial / gpuverify
  GPUVerify: a Verifier for GPU Kernels
  ☆74Updated 3 years ago
• sumith1896 / tusSAT
  A SAT solver implementation in VHDL, team tussle
  ☆21Updated 9 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆222Updated 2 years ago
• nimit-singhania / loopy
  A system for programming formally-verified loop transformations.
  ☆16Updated 6 years ago
• master-keying / pblib
  A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF
  ☆22Updated last year
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆77Updated 2 years ago