cr-marcstevens / m4gbLinks
M4GB: Efficient Groebner Basis algorithm
☆58Updated 6 years ago
Alternatives and similar repositories for m4gb
Users that are interested in m4gb are comparing it to the libraries listed below
Sorting:
- Library for Polynomial System Solving through Algebraic Methods☆157Updated last week
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆75Updated 5 months ago
- M4RI is a library for fast arithmetic with dense matrices over GF(2)☆75Updated 2 months ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆62Updated last week
- A Python interface for https://github.com/fplll/fplll☆149Updated 3 months ago
- Lattice algorithms using floating-point arithmetic☆369Updated 4 months ago
- Successor to PolyBoRi☆20Updated 4 months ago
- A Sage interface for FGb (Gröbner basis computations)☆38Updated last year
- Structured BVA☆39Updated last year
- The General Sieve Kernel☆124Updated 2 months ago
- DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm☆15Updated last year
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated last week
- Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers☆27Updated 8 years ago
- Tools for studying S-boxes☆38Updated last week
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- Lingeling SAT Solver☆103Updated last year
- An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.☆97Updated 2 years ago
- ☆16Updated last year
- Program for finding low gate count implementations of S-boxes.☆40Updated 11 months ago
- CryptoBib Database for Developers☆45Updated last week
- Basis Reduction Algorithms for Codes (LLL and more)☆27Updated last year
- ☆35Updated last month
- Approximate Model Counter☆80Updated last week
- ☆12Updated 3 years ago
- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition☆26Updated 3 months ago
- ☆20Updated 6 years ago
- ☆12Updated 4 years ago
- SAT instance generator for SHA-1☆49Updated 4 years ago
- Entry to model counting competition 2021.☆22Updated last year
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆33Updated 5 months ago