Fiege, Nicolai0000-0002-4357-21192023-05-082023-05-08https://daks.uni-kassel.de/handle/123456789/5510.48662/daks-21The .tar archive contains the C++ program and Python scripts that we used to generate experimental results for the paper "Bit-Level Optimized Constant Multiplication using Boolean Satisfiability" (TCAS).engGPL - GNU General Public Licensehttp://www.gnu.org/licenses/gpl-3.0.en.htmlArithmeticConstant MultiplicationBoolean SatisfiabilityOptimizationSoftwareKumm, Martin0000-0002-8593-3138Zipf, Peter0000-0003-4725-4246