Parse_smt2_string #7348
Unanswered
wookkim1031
asked this question in
Q&A
Parse_smt2_string
#7348
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Parse_smt2_string can not parse custom declared datatypes
LightState can not be parsed. functions are parsed however LightState is not recognized. Is there another way of parsing custom declared datatypes=
(declare-datatypes () ((LightState Off Bright On))) (declare-fun Light (Real) LightState) (declare-fun press (Real) Bool)Beta Was this translation helpful? Give feedback.
All reactions