\input{../../../generic-preamble/generic-preamble}

\lstdefinelanguage{homework}{%
  morekeywords={%
    v,^,exists,all,<->,->,~},%
  alsoletter=-!*\#+<>~^,%
  sensitive=true,%
}


\def\subjnum{6.825}
\def\subjname{Techniques in Artificial Intelligence}
\author{Dan Ports}
\authoremail{drkp@mit.edu}
\psetheadertitle{Project 3 Exercise}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: t
%%% End: