\myheading{Package manager}

\leveldown{}

\renewcommand{\CURPATH}{other/dep}

\input{\CURPATH/Z3}
\input{\CURPATH/picosat/main}

\levelup{}

