Sparse linear Boolean algebra for Nvidia Cuda
SparseLinearAlgebra
Boolean expression simplifier/minimizer
madmann91