\section{DPLL/CDCL}

\input{cdcl/spec}
\input{cdcl/imp}