Alternatives and similar repositories for PEQNP:

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

• maxtuno / slime-sat-solver
  A Free World Class High Performance SAT Solver
  ☆20Updated 3 years ago
• maxtuno / SLIME
  SLIME Cloud: A Free Massive World Class High Performance SAT Solver, Winner of Crypto Track and 3rd place on Cloud Track at the SAT Compe…
  ☆6Updated last year
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated 2 years ago
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• vsklad / cgen
  CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi outp…
  ☆25Updated last year
• jezberg / loandra
  The anytime MaxSAT solver Loandra
  ☆17Updated last month
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆46Updated 3 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
• msoos / cnf-utils
  Dimacs CNF utilities
  ☆21Updated last month
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆19Updated last year
• Z80coder / db-nets
  ∂B nets: learning discrete, boolean-valued functions by gradient descent
  ☆21Updated last year
• arminbiere / gimsatul
  ☆34Updated 8 months ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• saeednj / SAT-encoding
  Encoding different problems into Boolean satisfiability
  ☆12Updated 2 years ago
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆26Updated 11 months ago
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆33Updated last year
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆23Updated last year
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆34Updated last year
• NikolajBjorner / ShonanArtOfSAT
  Schedule for ArtOfSAT
  ☆10Updated last year
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆85Updated last month
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 9 months ago
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆100Updated last year
• hgarrereyn / SBVA
  Structured BVA
  ☆34Updated 11 months ago
• aaw / sat
  SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B
  ☆10Updated last month
• kkrawiec / CDGP
  Counterexample-Driven Genetic Programming
  ☆17Updated 2 years ago
• cvc5 / ethos
  A Flexible and Efficient Proof Checker for SMT Solvers
  ☆20Updated last week
• philzook58 / eggmt
  Egraphs Modulo Theories
  ☆13Updated last month
• ChezJrk / verified-scheduling
  ☆38Updated 11 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated last week
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆28Updated 2 weeks ago