search

stanford-centaur / smt-switch

A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
Other
114 stars 43 forks source link

Add partial string support #327

Closed ntsis closed 1 year ago

ntsis commented 1 year ago

Added string support for StrLt "str.<", StrLeq "str.<=", StrLen "str.len", StrConcat, "str.++".

Also, added support for IntDiv, ::cvc5::INTS_DIVISION, FLOAT parsing, and made changes to TermTranslator::infixize_rational.

yoni206 commented 1 year ago

Added string support for StrLt "str.<", StrLeq "str.<=", StrLen "str.len", StrConcat, "str.++".