Zhe Ye
Results
1
issues of
Zhe Ye
This is because I need to make a recursive datatype with the array, like this: ```smtlib2 (declare-datatypes () ((V (i Int) (v (Array Int V)))))) ``` I think a parameterized...
help wanted
question