KL1p is a portable C++ framework for handling sparse recovery of inverse problems of underdetermined linear systems, like in compressed sensing technique.
This is a small and fast library and command-line tool for manipulation of logic/boolean-algebra expressions, including proofing and simplification. A front-end using tigcc for Texas Instruments calculators is planned, too.