install asp: python3 -m pip install --user --upgrade clingo

usage: clingo facts.asp problem.asp rulesDriving.asp -c n=10 -c x=1 -c y=47 -n 0
where "1" and "47" are initial lane and destination.
