Index of /~dechter/courses/ics-275a/winter-2016/code
Parent Directory
aus.mzn
coloringsolved.py
msq.mzn
msqsolved.py
nq.mzn
nqsolved.py
Apache/2.4.6 (CentOS) OpenSSL/1.0.2k-fips SVN/1.7.14 Server at www.ics.uci.edu Port 80