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
- 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 2 years ago
- The anytime MaxSAT solver Loandra☆17Updated this week
- ☆11Updated 3 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
- Schedule for ArtOfSAT☆10Updated last year
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆33Updated 4 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- LibPoly is a C library for manipulating polynomials☆51Updated last month
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Updated 3 months ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- Lean 4 as a scripting language in Houdini☆20Updated last year
- Dimacs CNF utilities☆21Updated 3 months ago
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆50Updated last year
- Unified Maude model-checking tool☆11Updated 5 months ago
- Bonn Lean course for winter 24/25☆31Updated 5 months ago
- ☆53Updated this week
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆23Updated last year
- Counterexample-Driven Genetic Programming☆17Updated 2 years ago
- Successor to PolyBoRi☆19Updated 2 weeks ago
- ∂B nets: learning discrete, boolean-valued functions by gradient descent☆21Updated last year
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated 2 years ago
- ☆17Updated 2 years ago
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆26Updated 3 years ago
- A C++20 library for the symbolic manipulation of sparse polynomials & co.☆28Updated 7 months ago
- A research platform and active library for generalised SAT solving☆33Updated this week
- LLVM support for the lean theorem prover☆48Updated 3 years ago
- egraph on top of sqlite☆11Updated 3 years ago