Skip to content

Adding fallback for equivalence class finding

Niklas Krafczyk requested to merge feature-SolverServiceUser into master

We use this in case the evaluation of the equivalence class base expressions returns a class that has no solutions according to the SMT solver. The most probable cause is floating point shenanigans while the SMT solver uses real numbers.

Merge request reports