You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
31 lines
811 B
31 lines
811 B
\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}
|