meelgroup / bosphorusLinks
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
☆75Updated 5 months ago
Alternatives and similar repositories for bosphorus
Users that are interested in bosphorus are comparing it to the libraries listed below
Sorting:
- Structured BVA☆39Updated last year
- Approximate Model Counter☆80Updated this week
- M4GB: Efficient Groebner Basis algorithm☆57Updated 6 years ago
- Lingeling SAT Solver☆103Updated last year
- DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm☆15Updated last year
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆37Updated 2 years ago
- An easy-to-use and open-source tool for differential, linear, differential-linear, and integral analysis of S-boxes☆31Updated 7 months ago
- Program for finding low gate count implementations of S-boxes.☆40Updated 10 months ago
- ☆53Updated this week
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆30Updated 7 months ago
- ☆16Updated last year
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆24Updated 2 years ago
- An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.☆97Updated 2 years ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆59Updated last month
- Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers☆27Updated 8 years ago
- ☆37Updated 8 years ago
- Tools for studying S-boxes☆38Updated last week
- A fast and certifying solver for quantified Boolean formulas.☆26Updated 4 months ago
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…☆280Updated this week
- SAT Solver SATCH☆119Updated 2 years ago
- Cube-and-Conquer SAT solver☆37Updated 2 months ago
- The DRAT-trim proof checker☆64Updated 9 months ago
- Library for Polynomial System Solving through Algebraic Methods☆157Updated last week
- High-performance exact counter☆46Updated this week
- Successor to PolyBoRi☆20Updated 4 months ago
- CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.☆19Updated 4 years ago
- ☆35Updated last month
- A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.☆351Updated last year
- ☆14Updated last year