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 4 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 last month
- ☆13Updated last year
- 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
- ☆11Updated 3 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆33Updated 4 years ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆37Updated 2 years ago
- Encoding different problems into Boolean satisfiability☆12Updated 2 years ago
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆39Updated this week
- M4GB: Efficient Groebner Basis algorithm☆55Updated 6 years ago
- Pedagogical first-order prover in Python☆76Updated last month
- LLVM support for the lean theorem prover☆49Updated 3 years ago
- SWI Prolog library to interface to the GPT API☆19Updated last year
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Updated 2 years ago
- Unified Maude model-checking tool☆12Updated this week
- Lingeling SAT Solver☆102Updated last year
- Python implementation of the monster group☆49Updated last week
- The Chuffed CP solver☆105Updated 3 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆66Updated last year
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆24Updated 2 years ago
- ☆40Updated last year
- Implementation of local search-based algorithms for solving SAT and Max-SAT in Python☆13Updated 4 years ago
- Structured BVA☆37Updated last year
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆15Updated 2 years ago
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- Probabilistic programming system for fast and exact symbolic inference☆80Updated last year
- Quantum information theory in Lean 4☆31Updated last week