mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
This reverts commit 957d7bfe35
.
This commit is contained in:
parent
ea181fe8b2
commit
e804f7743a
|
@ -1,5 +1,4 @@
|
|||
from . import z3
|
||||
from z3 import *
|
||||
from .z3 import *
|
||||
|
||||
from . import z3num
|
||||
from . import z3poly
|
||||
|
|
Loading…
Reference in a new issue