Commits

Iago Abal committed 1ea2769

Export FuncInterp and FuncEntry in Z3.Base
#fix

Comments (0)

Files changed (1)

     , App
     , Pattern
     , Model
+    , FuncInterp
+    , FuncEntry
     , Params
     , Solver