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
• saeednj / SAT-encoding
  Encoding different problems into Boolean satisfiability
  ☆11Updated 2 years ago
• Udopia / gbd
  Management of Benchmark Instances and Instance Attributes
  ☆18Updated 3 months ago
• jezberg / loandra
  The anytime MaxSAT solver Loandra
  ☆17Updated this week
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 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
• msoos / cnf-utils
  Dimacs CNF utilities
  ☆21Updated last week
• arminbiere / runlim
  ☆15Updated 11 months ago
• RomanKalkreuth / cgp-plusplus
  ☆13Updated last year
• 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
• petersn / autosat
  Library for creation of SAT instances.
  ☆18Updated 2 years ago
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated 2 years ago
• xcsp3team / pycsp3
  A Python Library for modeling combinatorial constrained problems
  ☆63Updated last week
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆45Updated 2 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆74Updated last month
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated 4 months ago
• xcsp3team / ACE
  Constraint Solver ACE
  ☆29Updated this week
• kkrawiec / CDGP
  Counterexample-Driven Genetic Programming
  ☆18Updated 2 years ago
• SRI-CSL / libpoly
  LibPoly is a C library for manipulating polynomials
  ☆50Updated 2 months ago
• PesantGilles / MiniCPBP
  Replacing standard support propagation by belief propagation in MiniCP
  ☆12Updated last week
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 7 months ago
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆26Updated 9 months ago
• dselsam / neurocore-public
  NeuroCore: Guiding CDCL with Unsat-Core Predictions
  ☆44Updated 5 years ago
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆99Updated 11 months ago
• fbacchus / MaxHS
  MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus
  ☆25Updated 3 years ago
• xcsp3team / cosoco
  COmpact SOlver for COnstrained problems
  ☆12Updated last week
• nfzhou / lp-contest
  ☆10Updated 4 months ago
• cr-marcstevens / m4gb
  M4GB: Efficient Groebner Basis algorithm
  ☆54Updated 6 years ago