Skip to content

Commit 8e138c7

Browse files
committed
Initial port from php
1 parent 09edbbc commit 8e138c7

34 files changed

+1707
-2
lines changed

Diff for: _config.yml

+17-1
Original file line numberDiff line numberDiff line change
@@ -1 +1,17 @@
1-
theme: jekyll-theme-minimal
1+
title: Gecode
2+
email: info@gecode.org
3+
description: > # this means to ignore newlines until "baseurl:"
4+
The Gecode constraint solving library
5+
#baseurl: "/~guidot/new_minizinc" # the subpath of your site, e.g. /blog
6+
baseurl: "" # the subpath of your site, e.g. /blog
7+
#url: "http://s-cah-mwallace.infotech.monash.edu" # the base hostname & protocol for your site
8+
includes_dir: _includes
9+
data_dir: _data
10+
collections:
11+
publications:
12+
output: false
13+
# Build settings
14+
markdown: kramdown
15+
theme: minima
16+
sass:
17+
style: compressed

Diff for: _data/versions.yaml

+4
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
gecodestamp: 5.1.0
2+
gecodedate: "2017-04-18"
3+
gecodecleardate: "18 April 2017"
4+
gecodeflatzincversion: 1.6.0

Diff for: _includes/download.html

+1
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
<a href="download/{{ include.link }}"><tt>{{ include.link }}</tt></a>

Diff for: _includes/footer.html

+5
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
<div class="footer" id="footer">
2+
<address>
3+
<small><a href="/disclaimer.html">(disclaimer)</a></small>
4+
</address>
5+
</div> <!-- footer -->

Diff for: _includes/head.html

+12
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
<head>
2+
<meta charset="utf-8">
3+
<meta name="description" content="{% if page.description %}{{ page.description }}{% else %}{{ site.description }}{% endif %}">
4+
<meta name="keywords" content="gecode, constraint programming, constraint solver, constraint toolkit" />
5+
6+
<title>{{ page.title }}</title>
7+
8+
<meta name="robots" content="NOODP">
9+
<link rel="stylesheet" type="text/css" href="/style.css" />
10+
<link rel="SHORTCUT ICON" type="image/ico" href="/images/gecode-logo.ico" />
11+
{{ page.extraHeader }}
12+
</head>

Diff for: _includes/header.html

+7
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
{% if page.headline != '' %}
2+
{% capture headline %} Gecode: {{ page.headline}} {% endcapture %}
3+
{% else %}
4+
{% assign headline = 'Gecode' %}
5+
{% endif %}
6+
7+
<h1>{{ headline }}</h1>

Diff for: _includes/menu.html

+80
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,80 @@
1+
{% if page.url == "/" %}
2+
{% assign homehref='class="navigation2"' %}
3+
{% else %}
4+
{% assign homehref='class="navigation" href="/index.html"' %}
5+
{% endif %}
6+
7+
{% if page.url == "/download.html" %}
8+
{% assign downloadhref = 'class="navigation2"' %}
9+
{% else %}
10+
{% assign downloadhref = 'class="navigation" href="/download.html"' %}
11+
{% endif %}
12+
13+
{% if page.url == "/documentation.html" %}
14+
{% assign dochref = 'class="navigation2"' %}
15+
{% else %}
16+
{% assign dochref = 'class="navigation" href="/documentation.html"' %}
17+
{% endif %}
18+
19+
{% if page.url == "/publications.html" %}
20+
{% assign publicationshref = 'class="navigation2"' %}
21+
{% else %}
22+
{% assign publicationshref = 'class="navigation" href="/publications.html"' %}
23+
{% endif %}
24+
25+
{% if page.url == "/community.html" %}
26+
{% assign communityhref = 'class="navigation2"' %}
27+
{% else %}
28+
{% assign communityhref = 'class="navigation" href="/community.html"' %}
29+
{% endif %}
30+
31+
{% if page.url == "/projects.html" %}
32+
{% assign projectshref = 'class="navigation2"' %}
33+
{% else %}
34+
{% assign projectshref = 'class="navigation" href="/projects.html"' %}
35+
{% endif %}
36+
37+
{% if page.url == "/interfaces.html" %}
38+
{% assign interfhref = 'class="navigation2"' %}
39+
{% else %}
40+
{% assign interfhref = 'class="navigation" href="/interfaces.html"' %}
41+
{% endif %}
42+
43+
{% if page.section == "overview" %}
44+
{% assign overviewhref = 'class="navigation" href="/overview.html"' %}
45+
{% else %}
46+
{% assign overviewhref = 'class="navigation2"' %}
47+
{% endif %}
48+
49+
<div id="sidebarWithLogo">
50+
<div id="logo">
51+
{% unless page.is_titlepage %}
52+
<img class='logo' src='/images/gecode-logo-100.png' alt='gecode logo' />
53+
{% endunless %}
54+
</div>
55+
<div id="sidebar">
56+
<div class="ignore"><!-- only display for browsers that ignore CSS -->
57+
<h2>Menu</h2>
58+
</div>
59+
60+
<div id="navigation">
61+
<div id="navigation2">
62+
<a {{ homehref }} >home</a>
63+
<a {{ downloadhref }} >download</a>
64+
<br />
65+
<a {{ dochref }} >documentation</a>
66+
<a {{ communityhref }} >community</a>
67+
<a {{ publicationshref }} >publications</a>
68+
<br />
69+
<a {{ interfhref }} >interfaces</a>
70+
<a {{ projectshref }} >projects</a>
71+
</div>
72+
</div>
73+
74+
<div id="news">
75+
{{ page.newsContent }}
76+
</div>
77+
78+
</div> <!-- sidebar -->
79+
</div> <!-- sidebarWithLogo -->
80+
<div class="push"></div>

Diff for: _layouts/default.html

+24
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
<!DOCTYPE html>
2+
<html lang="{{ page.lang | default: site.lang | default: "en" }}">
3+
4+
{% include head.html %}
5+
6+
<body>
7+
8+
<div class="wrap">
9+
<div id="main">
10+
<div id="content">
11+
12+
{% include header.html %}
13+
14+
{{ content }}
15+
16+
</div> <!-- content -->
17+
</div> <!-- main -->
18+
{% include menu.html %}
19+
</div> <!-- wrap -->
20+
{% include footer.html %}
21+
22+
</body>
23+
24+
</html>

Diff for: _layouts/titlepage.html

+36
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,36 @@
1+
<!DOCTYPE html>
2+
<html lang="{{ page.lang | default: site.lang | default: "en" }}">
3+
4+
{% include head.html %}
5+
6+
<body>
7+
8+
<div class="wrap">
9+
<div id="main">
10+
<div id="content">
11+
12+
<div id="logofront">
13+
<table>
14+
<tr style="height:35px;">
15+
<td rowspan="4" style="width:240px;">
16+
<img src='/images/gecode-logo-120.png' alt='gecode logo' />
17+
</td>
18+
<td><h1 class="logofront">generic</h1></td>
19+
</tr>
20+
<tr style="height:35px;"><td><h1 class="logofront">constraint</h1></td></tr>
21+
<tr style="height:35px;"><td><h1 class="logofront">development</h1></td></tr>
22+
<tr style="height:35px;"><td><h1 class="logofront">environment</h1></td></tr>
23+
</table>
24+
</div>
25+
26+
{{ content }}
27+
28+
</div> <!-- content -->
29+
</div> <!-- main -->
30+
{% include menu.html %}
31+
</div> <!-- wrap -->
32+
{% include footer.html %}
33+
34+
</body>
35+
36+
</html>

Diff for: bugs.html

+36
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,36 @@
1+
---
2+
layout: default
3+
title: GECODE bugs
4+
headline: Bugs
5+
---
6+
7+
<h3>Does Gecode have bugs?</h3>
8+
9+
<p>To quote from <em>Modeling with Gecode</em>:</p>
10+
11+
<p>
12+
Yes, of course! But, Gecode is very thoroughly tested (tests cover almost
13+
100%) and extensively used (several thousand users). If something does not
14+
work, we regret to inform you that this is most likely due to your program
15+
and not Gecode. Again, this does not mean that Gecode has no bugs. But it
16+
does mean that it might be worth searching for errors in your program first.
17+
</p>
18+
19+
<p>
20+
And, yes. Please take our apologies in advance if that somewhat bold claim
21+
does turn out to be false... If you have accepted our apologies, you can
22+
submit your bug report below.
23+
</p>
24+
25+
<h3>Already fixed?</h3>
26+
27+
<p>
28+
Please have a look at the <a href="current.html">changes in the
29+
development trunk</a>, maybe the bug you want to report has already been
30+
fixed.
31+
</p>
32+
33+
<h3>Bug Report Form</h3>
34+
35+
<p>COMING SOON</p>
36+

Diff for: community.html

+113
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,113 @@
1+
---
2+
layout: default
3+
title: GECODE community
4+
headline: Community
5+
---
6+
7+
<h3>Questions and Answers</h3>
8+
9+
<p>You can contact the Gecode developers and users via
10+
a mailing list. But, please make sure to not waste your
11+
time and the time of others:</p>
12+
13+
<ul>
14+
<li>Please check <a href="documentation.html">Gecode's
15+
documentation</a> first.</li>
16+
<li>Please check the
17+
<a href="http://news.gmane.org/gmane.comp.lib.gecode.user">archive
18+
of the Gecode users mailing list</a> as to whether a similar
19+
question has been asked before.</li>
20+
<li>Please focus on questions specific to Gecode. For general
21+
questions about constraint programming more suitable forums
22+
exist.</li>
23+
<li>Please provide sufficient detail: describe your platform
24+
(operating system, compiler, Gecode version) and your problem
25+
(what does not work, what do you want to do, what is the
26+
problem you observe) as accurately as you can.</li>
27+
<li>Please do not contact individual developers: it
28+
is much better to build a comprehensive archive of questions and
29+
answers related to Gecode that can be useful for everyone.
30+
If you have any questions not suitable for the public mailing list,
31+
please do not hesitate to contact one of the authors directly.</li>
32+
<li>Never ask for solutions to homework. The only more
33+
offensive thing you could do is to provide a solution on the
34+
mailing list if someone has violated the no homework policy!</li>
35+
</ul>
36+
37+
<h3>Mailing Lists</h3>
38+
39+
<p>
40+
For technical discussions about Gecode, please
41+
<a href="http://www.gecode.org/mailman/listinfo/users">
42+
subscribe to the users mailing list using the web interface</a>. An
43+
<a href="http://www.gecode.org/pipermail/users/">archive of
44+
the mailing list articles</a> is also available.
45+
</p>
46+
47+
<p>
48+
To keep up to date with the latest releases of Gecode, please
49+
<a href="http://www.gecode.org/mailman/listinfo/announce">
50+
subscribe to the announce mailing list using the web interface</a>.
51+
</p>
52+
53+
<p>
54+
<img src="http://gmane.org/img/gmane-25.png" style="float: right; margin-right: 5px;" width=25 height=25 alt="Gmane">
55+
The mailing lists are mirrored on Gmane.
56+
You can browse their excellent
57+
<a href="http://news.gmane.org/gmane.comp.lib.gecode.user">
58+
web-based archive</a> or search it:
59+
<form class=navform target="_top" action="http://search.gmane.org/search.php" method=get><input type=hidden name="group" value="gmane.comp.lib.gecode.user"><input type=text name="query" size=20 id="query"><input type=submit value="Search"></form> Or you can use your favorite news
60+
reader. For more information on Gmane, please see the
61+
<a href="http://gmane.org">Gmane web site</a>.
62+
</p>
63+
64+
<h3>Bugs</h3>
65+
66+
<p>
67+
We are grateful for any suggestions how to improve Gecode.
68+
Please report any bug you should find as well as feature requests using
69+
<a href="bugs.html">the Gecode bug reporting page</a>.
70+
</p>
71+
72+
<p>
73+
Please do not report bugs in external projects to Gecode, in
74+
particular not for those distributed with Gecode in the
75+
<tt>contribs</tt> directory. If you find bugs in contributed
76+
code, please see the <a href="projects.html">projects' web
77+
pages</a> for information on how to contact them.
78+
</p>
79+
80+
<h3>People</h3>
81+
82+
<p>
83+
Gecode is currently developed by
84+
</p>
85+
86+
<ul>
87+
<li><a href="http://web.it.kth.se/~cschulte/">Christian Schulte</a>
88+
<a href="mailto:schulte@gecode.org">(email)</a>
89+
(head, <a href="http://www.kth.se">KTH</a>, Sweden)
90+
</li>
91+
<li><a href="http://web.it.kth.se/~zayenz/">Mikael Lagerkvist</a>
92+
<a href="mailto:lagerkvist@gecode.org">(email)</a>
93+
(<a href="http://www.kth.se">KTH</a>, Sweden)
94+
</li>
95+
<li><a href="http://www.csse.monash.edu/~guidot/">Guido Tack</a>
96+
<a href="mailto:tack@gecode.org">(email)</a>
97+
(<a href="http://www.monash.edu/">Monash University</a>,
98+
Australia)
99+
</li>
100+
</ul>
101+
102+
<p>
103+
For a complete list of authors, contributors, and bugfixers, please
104+
refer to the <a href="doc-latest/reference/PageLic.html">license and
105+
authors information</a> in the <a href="doc-latest/reference/index.html"
106+
>reference documentation</a>.
107+
</p>
108+
109+
<p>The Gecode logo has been designed by <a
110+
href="http://www.st.cs.uni-saarland.de/~lindig/">Christian Lindig</a>.
111+
You can <a href="logo.html">download the logo</a> in different
112+
formats and sizes.
113+
</p>

Diff for: current.html

+11
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
---
2+
layout: default
3+
title: GECODE current development
4+
headline: Current development
5+
---
6+
7+
<p>This is a list of changes between the last release version of Gecode and the current development trunk.</p>
8+
9+
<p>Note that this describes work in progress, and not all changes will necessarily go into the next release.</p>
10+
11+
<p>COMING SOON</p>

Diff for: disclaimer.html

+21
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
---
2+
layout: default
3+
title: GECODE disclaimer
4+
headline: Disclaimer
5+
---
6+
7+
<p>
8+
All material on the Gecode web pages (under the domain
9+
gecode.org) unless indicated otherwise is
10+
licensed according to the
11+
<a href="license.html">Gecode license agreement</a> (which is the same as
12+
the MIT license). In particular, this license makes clear that the
13+
presented material is provided <i>as is</i>, without warranty of any kind.
14+
</p>
15+
16+
<p>
17+
For any comments or questions regarding the web pages, please
18+
<a href="mailto:webmaster@gecode.org">contact our
19+
webmaster</a>. For questions or comments regarding Gecode itself,
20+
please see <a href="community.html">our contact page</a>.
21+
</p>

0 commit comments

Comments
 (0)