#Make sure that cython extension is installed
#> pip install --user cython
# The source code of the add12u_0C9 extension needs to be downloaded first
> curl -s "https://ehw.fit.vutbr.cz/evoapproxlib/v1.2022?folder=adders/12_unsigned/pareto_pwr_mre&file=add12u_0C9.c&pyx=bash" | bash
#Finally, the extension can be used in a Python script as follows
> python
import pyximport; pyximport.install()
import add12u_0C9
wce = e = 0
for i in range(0,2**12):
for j in range(0,2**12):
diff = abs(add12u_0C9.add(i,j) - (i+j))
if diff > wce: wce = diff
e += diff
print('average error magnitude (mae)',e/(2.0**(13)))
print('worst-case error magnitude (wce)',wce)