juliusbrehme
Results
1
issues of
juliusbrehme
Integrating dReal to JavaSMT. Problems with dReal: - dReal does not support UF's - dReal does not support existential quantifier - dReal uses delta-precision, therefore Integer formulas are unsound: -...