Closed Saloed closed 1 year ago
Add ksmt-symfpu module based on the ideas from the original symfpu project.
ksmt-symfpu
This module provides support for the FP theory via BitVectors and allows to use FP in solvers like Yices2.
ksmt-symfpu was implemented by Mark Vavilov
SymFpu
Add
ksmt-symfpumodule based on the ideas from the original symfpu project.This module provides support for the FP theory via BitVectors and allows to use FP in solvers like Yices2.
Contributors
ksmt-symfpuwas implemented by Mark Vavilov