maxtuno / PEQNPLinks
PEQNP Mathematical Solver
☆13Updated 3 years ago
Alternatives and similar repositories for PEQNP
Users that are interested in PEQNP are comparing it to the libraries listed below
Sorting:
- A Free World Class High Performance SAT Solver☆20Updated 3 years ago
- The anytime MaxSAT solver Loandra☆17Updated 3 weeks ago
- 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 2 years ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 3 years ago
- ☆11Updated 3 years ago
- ☆28Updated 2 months ago
- LLVM support for the lean theorem prover☆48Updated 3 years ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆31Updated 3 months ago
- Encoding different problems into Boolean satisfiability☆12Updated 2 years ago
- ☆16Updated 3 years ago
- The CP solver Chuffed☆20Updated 8 years ago
- Dimacs CNF utilities☆21Updated 4 months ago
- ∂B nets: learning discrete, boolean-valued functions by gradient descent☆21Updated last year
- ☆10Updated 8 months ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 90's☆11Updated last year
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆53Updated last year
- Interval arithmetic for real computation☆23Updated last month
- Library for creation of SAT instances.☆21Updated 2 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- Pedagogical first-order prover in Python☆76Updated 2 weeks ago
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆16Updated 3 years ago
- SRI LibPoly is a C library for manipulating polynomials☆51Updated last week
- Mathematical proofs of the bbchallenge project.☆24Updated 2 months ago
- ☆16Updated last year
- ☆32Updated last year
- Cube-and-Conquer SAT solver☆35Updated 2 years ago
- High-performance probabilistic exact counter☆41Updated last week
- ☆10Updated 3 weeks ago