summaryrefslogtreecommitdiff
path: root/src/api/python/__init__.py.in
blob: 9116976c39d16dcf79f541b161b8c973e20402e4 (plain) 
1
2
3
4

import sys
from .pycvc5 import *
# fake a submodule for dotted imports, e.g. from pycvc5.kinds import *
sys.modules['%s.%s'%(__name__, kinds.__name__)] = kinds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback