CArL - the Computer ARithmetic and Logic library. Documentation For more information, please checkout the docs. CArL documentation