-
fabian authored
adding a possibility to run without proof. Need to '#define USEPROOF' in both headers in order to run proof. Comment both to run classicaly.
e9c06d74
adding a possibility to run without proof. Need to '#define USEPROOF' in both headers in order to run proof. Comment both to run classicaly.