cjdrake / boolexpr
Boolean Expressions
☆20Updated 6 years ago
Alternatives and similar repositories for boolexpr:
Users that are interested in boolexpr are comparing it to the libraries listed below
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated this week
- A research platform and active library for generalised SAT solving☆33Updated this week
- SAT instance generator for SHA-1☆47Updated 4 years ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆58Updated last month
- GNU Superoptimizer Version 2☆26Updated 3 years ago
- A minimalistic and high-performance SAT solver☆28Updated 2 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 last year
- A SAT solver implementation in VHDL, team tussle☆20Updated 8 years ago
- A low-level intermediate representation for hardware description languages☆28Updated 4 years ago
- An implementation of a SAT solver using the CUDA library☆15Updated 7 years ago
- Successor to PolyBoRi☆19Updated 3 months ago
- C++ truth table library☆52Updated last year
- LinBox - C++ library for exact, high-performance linear algebra☆85Updated last month
- Frobenius Additive Fourier Transform☆13Updated 2 months ago
- firrtlator is a FIRRTL C++ library☆21Updated 8 years ago
- Rigorous Floating-Point Mixed-Precision Tuner☆14Updated 4 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- This repository contains my experiments with compression-related algorithms☆35Updated 8 years ago
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆14Updated 11 months ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- ☆51Updated 9 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- Generates CIL MLIR dialect from C/C++ source.☆32Updated 4 years ago
- Dimacs CNF utilities☆20Updated 14 years ago
- Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter☆17Updated 7 years ago
- Enable Polyhedral JIT compilation☆9Updated 6 years ago
- C++11 library for many-sorted logics☆39Updated 8 years ago
- M4GB: Efficient Groebner Basis algorithm☆55Updated 6 years ago
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆10Updated last year
- The Pseudo-Boolean Solver MiniSat+☆27Updated 12 years ago