\documentclass[11pt]{ainotes}

\title{Combinatorial Decision Making\\and Optimization\\(Module 1)}
\date{2023 -- 2024}
\def\lastupdate{{PLACEHOLDER-LAST-UPDATE}}

\begin{document}
    
    \makenotesfront
    \input{./sections/_constraint_programming.tex}
    \input{./sections/_sat.tex}
    \eoc

\end{document}