__init__.py
__pycache__/
ask.py
ask_generated.py
assume.py
cnf.py
facts.py
handlers/
predicates/
refine.py
relation/
satask.py
sathandlers.py
tests/
wrapper.py