Skip to content

Use FloatingPoint theory when using --cprover-smt2#6132

Merged
kroening merged 7 commits intodevelopfrom
smt2_solver_FPA
May 20, 2021

Commits

Commits on May 20, 2021