maxtuno / PEQNP
PEQNP Mathematical Solver
☆13Updated 2 years ago
Related projects: ⓘ
- 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 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…☆23Updated last year
- Modeling and Programming with Gecode☆44Updated last year
- ☆11Updated 2 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆31Updated 3 years ago
- Counterexample-Driven Genetic Programming☆16Updated 2 years ago
- Pedagogical first-order prover in Python☆70Updated 2 months ago
- Successor to PolyBoRi☆17Updated last year
- Encoding different problems into Boolean satisfiability☆11Updated last year
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆32Updated 6 months ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆19Updated 2 weeks ago
- A tool for proving and organizing general theorems using Python.☆27Updated 2 months ago
- Metamath verifier in Python☆35Updated 5 months ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 9 months ago
- SAT instance generator for SHA-1☆47Updated 3 years ago
- ☆21Updated last year
- a Rust implementation of first-order term rewriting systems (TRS)☆27Updated 2 years ago
- ☆9Updated last year
- Dimacs CNF utilities☆20Updated 7 months ago
- A constraint modelling and rewriting library and compiler framework written in rust☆19Updated this week
- Solving floating point SMT constraints on a GPU☆47Updated 3 years ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 3 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated last year
- The Chuffed CP solver☆89Updated 3 weeks ago
- Library for creation of SAT instances.☆16Updated 2 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 2 months ago
- SAT solvers from Knuth's Vol. 4, Fascicle 6☆7Updated 2 months ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆56Updated 2 weeks ago
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆16Updated 2 months ago