Simple code for tree and graph search
(Python 2.*)
Simple code for tree and graph search
(Python 3.*)
search.py (remove txt to use it): Extended
search code in Python 2*
search.py (remove txt to use it): Extended
search code in Python 3*
Both
use
utils.py: a utilities module
resolution_P2.py.txt
resolution_P3.py.txt
sample input file 1
sample input file 2
sample input file 5
sample input file 6
unify_P2.py.txt
unify_P3.py.txt
Python web site. If you don't know Python, then go through the tutorial.