maxtuno / PEQNPLinks
PEQNP Mathematical Solver
☆13Updated 4 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☆21Updated 4 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- ☆13Updated 2 years ago
- The anytime MaxSAT solver Loandra☆20Updated 8 months ago
- Lingeling SAT Solver☆106Updated last year
- Encoding different problems into Boolean satisfiability☆12Updated 3 years ago
- Counterexample-Driven Genetic Programming☆18Updated 3 years ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆39Updated 3 years ago
- ☆11Updated 4 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆55Updated 5 years ago
- ☆31Updated 4 months ago
- Unified Maude model-checking tool☆13Updated this week
- M4GB: Efficient Groebner Basis algorithm☆71Updated 7 years ago
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆77Updated 10 months ago
- ☆44Updated 3 months ago
- a collection of Gymnasium environments for saturation provers☆23Updated last month
- Python implementation of the monster group☆57Updated last month
- The Standard Interface for Incremental Satisfiability Solving☆51Updated 3 years ago
- Automated Reasoning in Nonlinear Theories of Reals☆179Updated last week
- DepQBF, a solver for quantified boolean formulae (QBF).☆39Updated 2 years 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
- A tool for proving and organizing general theorems using Python.☆31Updated this week
- Pedagogical first-order prover in Python☆80Updated 8 months ago
- A fast and certifying solver for quantified Boolean formulas.☆26Updated 9 months ago
- Solving floating point SMT constraints on a GPU☆50Updated 5 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆25Updated 2 years ago
- Modeling and Programming with Gecode☆50Updated 3 years ago
- Code for enumeration from a CFG☆20Updated 2 years ago
- SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral redu…☆29Updated 7 months ago
- ☆35Updated 6 months ago