\usepackage[a4paper,margin=3cm]{geometry}
\usepackage[hide]{cloze}
\usepackage{a4wide}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{booktabs}
\usepackage{bussproofs}
\usepackage{enumerate}
\usepackage{epsfig}
\usepackage{fancyhdr}
\usepackage{fmtcount}
\usepackage{forloop}
\usepackage{hyperref}
\usepackage{ifthen}
\usepackage{lastpage}
\usepackage{logicproof}
\usepackage{mathtools}
\usepackage{mdwlist}
\usepackage{tikz}
\usetikzlibrary{arrows,shapes.gates.logic.US,shapes.gates.logic.IEC,calc,decorations.markings}
\usepackage{forest}
\usepackage{pifont}  % cmark, xmark for DPLL
\usepackage{makecell}% beautiful alignment in table cells
\usepackage{tikz}
\usetikzlibrary{fit}
\usetikzlibrary{positioning}
\usetikzlibrary{calc}
\usepackage{environ}
%\usepackage{util/boxproof}

\usepackage{minted}