...
 
Commits (2)
[submodule "themes/kraiklyn"]
path = themes/kraiklyn
url = https://github.com/jsnjack/kraiklyn.git
[submodule "themes/book"]
path = themes/book
url = https://github.com/alex-shpak/hugo-book
[submodule "themes/hugo-theme-learn"]
path = themes/hugo-theme-learn
url = https://github.com/matcornic/hugo-theme-learn.git
......@@ -77,7 +77,12 @@ end 2> distributed-asp
## N-Queens
`distributed-sr evaluate dump-case nqueens-2 -e`
We present the encoding for 2 stages here. For 4 and 6 stages, adjust the command line accordingly. Note that before passing the program to ticker, atoms such as `-q1` get replaced by `n_q1`. This happens to circumvent a parsing restriction present in Ticker.
We present the encoding for 2 stages here. For 4 and 6 stages, adjust the
command line accordingly. Note that before passing the program to ticker, atoms
such as `-q1` get replaced by `n_q1`. This happens to circumvent a parsing
restriction present in Ticker. Note that the constraints here are formulated as
odd loops. We automatically represent constraints in this way for compatibility
with Ticker's parser, specifically for our benchmarks with Ticker-ASP.
```prolog
q1(X,Y) :- d1(Y),d1(X),not -q1(X,Y).
......
......@@ -7,20 +7,19 @@
<link rel="icon" href="/images/favicon.png" type="image/png">
<title>404 Page not found</title>
<link href="/css/nucleus.css?1557819135" rel="stylesheet">
<link href="/css/fontawesome-all.min.css?1557819135" rel="stylesheet">
<link href="/css/hybrid.css?1557819135" rel="stylesheet">
<link href="/css/featherlight.min.css?1557819135" rel="stylesheet">
<link href="/css/perfect-scrollbar.min.css?1557819135" rel="stylesheet">
<link href="/css/horsey.css?1557819135" rel="stylesheet">
<link href="/css/theme.css?1557819135" rel="stylesheet">
<link href="/css/hugo-theme.css?1557819135" rel="stylesheet">
<link href="/css/nucleus.css?1562076139" rel="stylesheet">
<link href="/css/fontawesome-all.min.css?1562076139" rel="stylesheet">
<link href="/css/hybrid.css?1562076139" rel="stylesheet">
<link href="/css/featherlight.min.css?1562076139" rel="stylesheet">
<link href="/css/perfect-scrollbar.min.css?1562076139" rel="stylesheet">
<link href="/css/theme.css?1562076139" rel="stylesheet">
<link href="/css/hugo-theme.css?1562076139" rel="stylesheet">
<link href="/css/theme-green.css?1557819135" rel="stylesheet">
<link href="/css/theme-green.css?1562076139" rel="stylesheet">
<style type="text/css">
<style>
:root #header + #content > #left > #rlblock_left {
display: none !important;
}
......@@ -38,8 +37,6 @@
</head>
<body>
<body class="" data-url="/">
<section id="body" style="margin-left:0px;">
......@@ -52,7 +49,7 @@
<p>Woops. Looks like this page doesn&#39;t exist ¯\_(ツ)_/¯.</p>
<p></p>
<p><a href='/'>Go to homepage</a></p>
<p><img src='/images/gopher-404.jpg' style="width:50%" alt="Page not found!"></img></p>
<p><img src='/images/gopher-404.jpg' style="width:50%" alt="Page not found!"></p>
</div>
</div>
......
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
Subproject commit 6d1ac48fb5dbbc354a260a44503b0440c555f7f5
Subproject commit 02315785f235945af62dde34cb68920117b75ecd