LICENSE
README.md
setup.cfg
setup.py
src/alhazen/Alhazen.py
src/alhazen/__init__.py
src/alhazen/alhazen.py
src/alhazen/features.py
src/alhazen/generator.py
src/alhazen/grammar_transformation.py
src/alhazen/helper.py
src/alhazen/input.py
src/alhazen/input_specifications.py
src/alhazen/learner.py
src/alhazen/oracle.py
src/alhazen/requirementExtractionDT/__init__.py
src/alhazen/requirementExtractionDT/features.py
src/alhazen/requirementExtractionDT/requirements.py
src/alhazen/requirementExtractionDT/treetools.py
src/alhazen_formalizations/__init__.py
src/alhazen_formalizations/calculator.py
src/alhazen_py.egg-info/PKG-INFO
src/alhazen_py.egg-info/SOURCES.txt
src/alhazen_py.egg-info/dependency_links.txt
src/alhazen_py.egg-info/requires.txt
src/alhazen_py.egg-info/top_level.txt
tests/test_alhazen.py
tests/test_features.py
tests/test_generator.py
tests/test_learner.py
tests/test_requirements.py
tests/test_test_inputs.py
tests/test_transform_grammar.py