A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.

x64 PE bin2bin obfuscator which doesn't add a section to the binary

Cracking MBAs

Unison's source code

A constraint solver purely on GPUs (CUDA)

Library to formulate SAT problems in .NET

Implementations of Faugère's F4 and F5 algorithms.

AMulet 2. - A better AIG Multiplier Examination Tool

Trusted Algebraic LInearization of Sub-Circuits with Matrix-based Algorithms using Normalforms

Integer Multiplier Generator for Verilog

FastPoly: An Efficient Polynomial Package for the Verification of Integer Arithmetic Circuits

Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs

MiniSat v1.14

Source code of paper 'SAT Solving Using XOR-OR-AND Normal Forms'

static symmetry breaking for SAT

Circuit IR Compilers and Tools

An advanced header-only exact synthesis library

HAL – The Hardware Analyzer

library learning w egraphs

Implementation of Butler-Portugal algorithm for tensor canonicalization in Rust

SIMD (SSE) population count --- http://0x80.pl/articles/sse-popcount.html

M4RI is a library for fast arithmetic with dense matrices over GF(2)

M4RI Rust bindings

Buchberger and F4 algorithms for computing Gröbner basis for systems of multivariate polynomials

Toy interior point method

sparse linear algebra library for rust

Standalone version of the boost::unordered library