<filename>src/automata_learning_utils/pysat/__init__.py
#!/usr/bin/env python3
# -*- coding: utf-8 -*-

from .dfa import DFA
from .classification import Classification
from .problem import Problem
from .sat_data_file import sat_data_file
from .sat_data_file import sat_algorithms
pysat_data_file = sat_data_file
pysat_algorithms = sat_algorithms

<filename>src/automata_learning_utils/pysat/__init__.py
#!/usr/bin/env python3
# -*- coding: utf-8 -*-

from .dfa import DFA
from .classification import Classification
from .problem import Problem
from .sat_data_file import sat_data_file
from .sat_data_file import sat_algorithms
pysat_data_file = sat_data_file
pysat_algorithms = sat_algorithms

#!/usr/bin/env python3 # -*- coding: utf-8 -*-