CArL

CArL - the Computer ARithmetic and Logic library.