/gosat

SMT solver for the theory of floating-point arithmetic

Primary LanguageC++MIT LicenseMIT

Stargazers