Rename dpll.py to main.py