\myheading{Toy package manager under 200 SLOC on top of SAT solver}

\leveldown{}

\renewcommand{\CURPATH}{other/dep/picosat}

\input{\CURPATH/ubuntu}
\input{\CURPATH/JSON}
\input{\CURPATH/v1}
\input{\CURPATH/circ}
\input{\CURPATH/v2}
\input{\CURPATH/assum}
\input{\CURPATH/v3}
\input{\CURPATH/files}
\input{\CURPATH/future}
\input{\CURPATH/reading}

\levelup{}

