Commit 7f40101a authored by Amin Raslan's avatar Amin Raslan
Browse files

Replace appendix.tex

parent d2dfee2f
......@@ -8,6 +8,7 @@
\subsubsection*{A.1.2 MiniZinc in MiniZincIDE}
\inputminted[frame=lines,linenos]{prolog}{n_factorial.mzn}
\subsubsection*{A.1.3 MiniZinc in SICStus-Prolog}
\label{subsubsection:n_factorial_minizinc_sicstus}
\begin{minted}[frame=lines,linenos]{prolog}
:- use_module(library(zinc)).
......@@ -246,6 +247,7 @@ who_killed_agatha_minizinc(Killer) :-
\label{subsubsection:zebra_puzzle_flatzinc}
\inputminted[frame=lines,linenos]{prolog}{zebra_puzzle.fzn}
\subsubsection*{A.5.3 MiniZinc in SICStus-Prolog}
\label{subsubsection:zebra_puzzle_minizinc_sicstus}
\begin{minted}[frame=lines,linenos]{prolog}
:- use_module(library(zinc)).
......@@ -311,7 +313,6 @@ solve satisfy
\inputminted[frame=lines,linenos]{prolog}{subset_sum.pl}
\subsubsection*{A.7.2 MiniZinc in MiniZincIDE}
\inputminted[frame=lines,linenos]{prolog}{subset_sum.mzn}
\subsubsection*{A.7.3 MiniZinc in SICStus-Prolog}
\newpage
\subsection{Magic Hexagon}
......@@ -383,6 +384,14 @@ solve satisfy;
\subsubsection*{A.9.2 MiniZinc in MiniZincIDE}
\inputminted[frame=lines,linenos]{prolog}{magic_square.mzn}
\subsubsection*{A.9.3 MiniZinc in SICStus-Prolog}
\begin{minted}[frame=lines,linenos]{prolog}
:- use_module(library(zinc)).
magic_square_minizinc(N,Squares) :-
mzn_load_file('magic_square.mzn',
[parameters([n=N]), variables([squares=Squares])], FznState),
fzn_solve(FznState).
\end{minted}
\newpage
\subsection{N Queens}
......@@ -392,6 +401,14 @@ solve satisfy;
\subsubsection*{A.10.2 MiniZinc in MiniZincIDE}
\inputminted[frame=lines,linenos]{prolog}{n_queens.mzn}
\subsubsection*{A.10.3 MiniZinc in SICStus-Prolog}
\begin{minted}[frame=lines,linenos]{prolog}
:- use_module(library(zinc)).
n_queens_minizinc(N,Queens) :-
mzn_load_file('n_queens.mzn',
[parameters([n=N]), variables([queen=Queens])], FznState),
fzn_solve(FznState).
\end{minted}
\newpage
\subsection{Sudoku}
......@@ -400,7 +417,6 @@ solve satisfy;
\inputminted[frame=lines,linenos]{prolog}{sudoku.pl}
\subsubsection*{A.11.2 MiniZinc in MiniZincIDE}
\inputminted[frame=lines,linenos]{prolog}{sudoku.mzn}
\subsubsection*{A.11.3 MiniZinc in SICStus-Prolog}
\newpage
\subsection{Euler's Officer Problem}
......@@ -410,11 +426,20 @@ solve satisfy;
\subsubsection*{A.12.2 MiniZinc in MiniZincIDE}
\inputminted[frame=lines,linenos]{prolog}{officer_problem.mzn}
\subsubsection*{A.12.3 MiniZinc in SICStus-Prolog}
\begin{minted}[frame=lines,linenos]{prolog}
:- use_module(library(zinc)).
officer_problem_minizinc(N,Square) :-
mzn_load_file('officer_problem.mzn',
[parameters([n=N]), variables([square=Square])],
FznState),
fzn_solve(FznState).
\end{minted}
\newpage
\subsection{K Dominating Set}
\label{k_dominating_set}
\label{subsection:k_dominating_set}
\subsubsection*{13.1 CLP(FD)}
\inputminted[frame=lines,linenos]{prolog}{k_dominating_set.pl}
\subsubsection*{13.2 MiniZinc in MiniZincIDE}
\inputminted[frame=lines,linenos]{prolog}{k-dominating_set.mzn}
\subsubsection*{13.3 MiniZinc in SICStus-Prolog}
\inputminted[frame=lines,linenos]{prolog}{k_dominating_set.mzn}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment