Try to determine in which state a given goal is.
Try to determine in which state a given goal is.
Apply this procedure to the given goal.
Apply this procedure to the given goal.
An implicit function to simplify cascading of possible actions.
An implicit function to simplify cascading of possible actions.
ExtractArithEncoder translates bv_extract to an existentially quantified equation