Skip to content

Commit f4e94d0

Browse files
guidotackguidotack
committed
Import news and publications
1 parent 8e138c7 commit f4e94d0

File tree

56 files changed

+1040
-13
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

56 files changed

+1040
-13
lines changed

Diff for: ‎_config.yml

+2
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,8 @@ includes_dir: _includes
99
data_dir: _data
1010
collections:
1111
publications:
12+
output: true
13+
news:
1214
output: false
1315
# Build settings
1416
markdown: kramdown

Diff for: ‎_layouts/paper.html

+42
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,42 @@
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+
<h2>{{ page.title }}</h2>
15+
16+
<p>{{ page.authors }}<p>
17+
18+
{{ content }}
19+
20+
{% if page.link != blank %}
21+
<p class="menu">[ {{ page.link }} ]</p>
22+
{% endif %}
23+
24+
<p>{{ page.howpublished }}</p>
25+
26+
{% if page.copyright != blank %}
27+
{{ page.copyright}}
28+
{% endif %}
29+
30+
<pre>
31+
{{ page.bibtex }}
32+
</pre>
33+
34+
</div> <!-- content -->
35+
</div> <!-- main -->
36+
{% include menu.html %}
37+
</div> <!-- wrap -->
38+
{% include footer.html %}
39+
40+
</body>
41+
42+
</html>

Diff for: ‎_news/2006-09-21-gecode-j-released.html

+7
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
---
2+
title: Gecode/J released
3+
---
4+
5+
We are happy to announce the release of
6+
<a href="http://www.gecode.org/gecodej/">Gecode/J 1.0.0</a>,
7+
a Java interface for Gecode.

Diff for: ‎_news/2006-10-25-gecode-1-3-1.html

+5
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
---
2+
title: Gecode 1.3.1
3+
---
4+
5+
Gecode 1.3.1 has been released on October 25th, 2006 (<a href='http://www.gecode.org/changes.html'>Changelog</a>).

Diff for: ‎_news/2006-11-02-binary-packages.html

+6
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
---
2+
title: Binary Packages
3+
---
4+
5+
We now provide a Windows Installer for Gecode and Gecode/J on our
6+
<a href="http://www.gecode.org/download.html">download page</a>!

Diff for: ‎_news/2007-03-27-updated-binary-packages.html

+6
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
---
2+
title: Updated binary Packages
3+
---
4+
5+
We now provide an updated Windows Installer for Gecode and Gecode/J
6+
on our <a href="http://www.gecode.org/download.html">download page</a>!

Diff for: ‎_news/2007-11-15-flatzinc-for-gecode-released.html

+7
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
---
2+
title: FlatZinc for Gecode released
3+
---
4+
5+
We would like to announce the release of
6+
<a href="http://www.gecode.org/flatzinc.html">FlatZinc for Gecode</a>
7+
version 1.0.

Diff for: ‎_news/2008-08-25-gecode-2-2-0.html

+5
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
---
2+
title: Gecode 2.2.0
3+
---
4+
5+
Gecode 2.2.0 has been released on August 25th, 2008 (<a href='http://www.gecode.org/changes.html'>Changelog</a>).

Diff for: ‎_news/2009-03-12-minizinc-challenge-results.html

+9
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
---
2+
title: MiniZinc challenge results
3+
---
4+
5+
Gecode participated in the
6+
<a href="http://www.g12.cs.mu.oz.au/minizinc/challenge.html">2008 MiniZinc
7+
challenge</a>. The results are now available on the
8+
<a href="http://www.g12.cs.mu.oz.au/minizinc/results.html">MiniZinc
9+
challenge results page</a>.

Diff for: ‎_news/2009-03-13-modeling-tutorial-available.html

+8
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
---
2+
title: Modeling tutorial available
3+
---
4+
5+
Visit our
6+
<a href="http://www.gecode.org/documentation.html">documentation
7+
pages</a> for the new
8+
tutorial documentation on modeling with Gecode!

Diff for: ‎_news/2009-03-26-models-by-h--229-kan-kjellerstrand.html

+7
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
---
2+
title: Models by H&#229;kan Kjellerstrand
3+
---
4+
5+
<a href="http://www.hakank.org/constraint_programming_blog/2009/03/my_first_gecode_models_1.html">
6+
H&#229;kan's blog</a> now contains a collection of
7+
<a href="http://www.hakank.org/gecode">Gecode models</a>.

Diff for: ‎_news/2009-04-15-gecode-in-the-gcc.html

+8
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
---
2+
title: Gecode in the GCC
3+
---
4+
5+
The <a href="http://www.emn.fr/x-info/sdemasse/gccat/">Global Constraint
6+
Catalog</a> now contains a section that
7+
<a href="http://www.emn.fr/x-info/sdemasse/gccat/xml/gccat_systems.xml#d:gecode">
8+
maps GCC's names to Gecode's</a>.

Diff for: ‎_news/2009-04-20-tailor-to-gecode.html

+6
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
---
2+
title: Tailor to Gecode
3+
---
4+
5+
<a href="http://www.cs.st-andrews.ac.uk/~andrea/tailor/">Tailor</a>
6+
translates Essence' models to Gecode programs (among other things).

Diff for: ‎_news/2009-09-22-minizinc-challenge-results.html

+7
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
---
2+
title: MiniZinc challenge results
3+
---
4+
5+
Gecode won the
6+
<a href="http://www.g12.cs.mu.oz.au/minizinc/challenge2009/results2009.html">2009 MiniZinc
7+
challenge</a>. We are proud to have won for the second year running and in all three categories (even though Gecode was the only entrant in the parallel solver category) by a wide margin.

Diff for: ‎_news/2009-10-08-haskell-interface.html

+7
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
---
2+
title: Haskell interface
3+
---
4+
5+
The <a href="http://www.cs.kuleuven.be/~toms/MCP/">
6+
Monadic Constraint Programming Framework</a>
7+
provides a CP modeling framework for Haskell with Gecode as backend.

Diff for: ‎_news/2009-10-14-layout.html

+9
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
---
2+
title: Layout
3+
---
4+
5+
The Gecode web site layout has been improved. We now provide a news section
6+
on the front page, a dedicated
7+
<a href="http://www.gecode.org/news.html">news page</a>, and an
8+
<a href="http://feeds.feedburner.com/gecode">RSS feed</a> for all news
9+
updates.

Diff for: ‎_news/2009-10-29-mac-os-64-bit-binaries.html

+9
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
---
2+
title: Mac OS 64-bit binaries
3+
---
4+
5+
The binary package for Mac OS now includes 64-bit Intel code
6+
(in addition to the 32-bit Intel and PowerPC code). It is available from
7+
<a href="http://www.gecode.org/download.html">our download page</a>. If you
8+
want to use the 64-bit version, you will have to install the
9+
<a href="http://qt.nokia.com/downloads">Cocoa version of the Qt libraries</a>.

Diff for: ‎_news/2010-03-17-minizinc-1-1.html

+5
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
---
2+
title: MiniZinc 1.1
3+
---
4+
5+
Version 1.1 of the <a href="http://www.g12.csse.unimelb.edu.au/minizinc">MiniZinc</a> distribution has been released. Gecode's FlatZinc interpreter is compatible with this release (except for small changes in the output specification, which will be fixed with the next release).

Diff for: ‎_news/2010-03-18-cp4im.html

+5
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
---
2+
title: CP4IM
3+
---
4+
5+
New on our <a href="http://www.gecode.org/projects.html">projects page</a>: The <a href="http://www.cs.kuleuven.be/~dtai/CP4IM/">CP4IM</a> project (Constraint Programming for Itemset Mining) uses Gecode in data mining applications.

Diff for: ‎_news/2010-04-08-modeling-and-programming-with-gecode.html

+5
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
---
2+
title: Modeling and Programming with Gecode
3+
---
4+
5+
This document, available from our <a href="http://www.gecode.org/documentation.html">documentation page</a>, provides comprehensive documentation of how to model and program with Gecode.

Diff for: ‎_news/2010-05-05-current-development.html

+5
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
---
2+
title: Current development
3+
---
4+
5+
We have added the <a href="http://www.gecode.org/current.html">changelog of our current development version</a>, compared to the last release.

Diff for: ‎_news/2010-09-10-minizinc-challenge-results.html

+8
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
---
2+
title: MiniZinc challenge results
3+
---
4+
5+
Gecode won the
6+
<a href="http://www.g12.cs.mu.oz.au/minizinc/challenge2010/results2010.html">2010 MiniZinc
7+
challenge</a>.
8+
We are proud to have won for the third year running and in all three categories. Having said that, the real winner this year is Chuffed (it was not eligible due to competition rules as it has been an in-house submission). Congratulations to Chuffed!

Diff for: ‎_news/2010-10-08-compilation-with-clang.html

+5
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
---
2+
title: Compilation with clang
3+
---
4+
5+
Gecode successfully compiles with <a href="http://clang.llvm.org/">clang</a>, the new C++ compiler from the <a href="http://llvm.org/">llvm</a> project. The clang compiler is about three times as fast as gcc when compiling Gecode. The generated code seems to be slightly slower than the one generated by gcc (but with llvm being a very active project, we expect performance to improve).

Diff for: ‎_news/2010-10-11-discussion-about-lds-patent.html

+5
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
---
2+
title: Discussion about LDS patent
3+
---
4+
5+
The release of Gecode 3.4.2, removing LDS because of patent issues, triggered a <a href="http://mat.tepper.cmu.edu/blog/?p=1236">controversial discussion</a> on Michael Trick's <a href="http://mat.tepper.cmu.edu/blog/">Operations Research Blog</a>.

Diff for: ‎_news/2011-01-18-flatzinc-parser-skeleton.html

+5
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
---
2+
title: FlatZinc parser skeleton
3+
---
4+
5+
On the <a href="http://www.gecode.org/flatzinc.html">Gecode/FlatZinc page</a>, we now provide a skeleton C++ parser for FlatZinc that you can use as a starting point for your own implementation.

Diff for: ‎_news/2011-04-14-gecode-on-mac-homebrew.html

+5
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
---
2+
title: Gecode on Mac Homebrew
3+
---
4+
5+
Gecode can now be installed on Mac OS via <a href="http://mxcl.github.com/homebrew/">Homebrew</a>, the "missing package manager for OS X".

Diff for: ‎_news/2011-08-08-gecode-bindings-for-python.html

+7
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
---
2+
title: Gecode bindings for Python
3+
---
4+
5+
Denys Duchier has made <a href="https://launchpad.net/gecode-python"
6+
>Python bindings for the Gecode constraint programming library</a> available.
7+
It is implemented using Cython.

Diff for: ‎_news/2011-08-10-gecode-bindings-for-yap-prolog.html

+8
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
---
2+
title: Gecode bindings for YAP Prolog
3+
---
4+
5+
Denys Duchier has made <a
6+
href="http://article.gmane.org/gmane.comp.lib.gecode.user/3299">Gecode
7+
bindings</a> for
8+
<a href="http://www.dcc.fc.up.pt/~vsc/Yap/">YAP Prolog</a> available.

Diff for: ‎_news/2011-09-12-minizinc-challenge-results.html

+8
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
---
2+
title: MiniZinc challenge results
3+
---
4+
5+
Gecode won the
6+
<a href="http://www.g12.cs.mu.oz.au/minizinc/challenge2011/results2011.html">2011 MiniZinc
7+
challenge</a>.
8+
We are proud to have won for the fourth year running and in all three categories. Having said that, the real winner this year is the same as last year, Chuffed (it was not eligible due to competition rules as it has been an in-house submission). Congratulations to Chuffed!

Diff for: ‎_news/2012-03-07-search-combinators-in-flatzinc.html

+5
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
---
2+
title: Search Combinators in FlatZinc
3+
---
4+
5+
<a href="http://www.gecode.org/paper.html?id=SchrijversEtAl:CoRR:2012">Search Combinators</a> can now be used directly with a modified FlatZinc interpreter, available from our <a href="http://www.gecode.org/flatzinc.html">FlatZinc</a> page.

Diff for: ‎_news/2012-03-09-flatzinc-parser-skeleton-1-2.html

+7
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
---
2+
title: FlatZinc parser skeleton 1.2
3+
---
4+
5+
We updated the skeleton C++ parser for FlatZinc to version 1.2, which
6+
includes a few bug fixes and compatibility with newer FlatZinc versions.
7+
It is available from the <a href="http://www.gecode.org/flatzinc.html">Gecode/FlatZinc page</a>.

Diff for: ‎_news/2012-03-26-gecode-3-7-3.html

+5
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
---
2+
title: Gecode 3.7.3
3+
---
4+
5+
Gecode 3.7.3 has been released on March 26th, 2012 (<a href='http://www.gecode.org/changes.html'>Changelog</a>).

Diff for: ‎_news/2012-10-12-minizinc-challenge-results.html

+8
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
---
2+
title: MiniZinc challenge results
3+
---
4+
5+
Gecode won the
6+
<a href="http://www.g12.cs.mu.oz.au/minizinc/challenge2012/results2012.html">2012 MiniZinc
7+
challenge</a>.
8+
We are proud to have won all three gold medals for the fifth year running!

Diff for: ‎_news/2012-12-22-ampl-driver.html

+5
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
---
2+
title: AMPL driver
3+
---
4+
5+
Victor Zverovich has released a <a href="https://github.com/vitaut/ampl/tree/master/solvers/gecode">Gecode driver for AMPL</a>, also available from our <a href="http://www.gecode.org/interfaces.html">interfaces page</a>.

Diff for: ‎_news/2013-07-16-eclipse-interface.html

+5
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
---
2+
title: ECLiPSe interface
3+
---
4+
5+
The <a href="http://eclipseclp.org/index.html">ECLiPSe</a> 6.1 constraint programming system features an interface to Gecode, provided as the <tt>lib(gfd)</tt> library.

Diff for: ‎_news/2015-03-23-gecode-4-4-0.html

+5
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
---
2+
title: Gecode 4.4.0
3+
---
4+
5+
Gecode 4.4.0 has been released on March 23rd, 2015 (<a href='http://www.gecode.org/changes.html'>Changelog</a>).

Diff for: ‎_news/2016-10-25-gecode-5-0-0.html

+5
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
---
2+
title: Gecode 5.0.0
3+
---
4+
5+
Gecode 5.0.0 has been released on October 25th, 2016 (<a href='http://www.gecode.org/changes.html'>Changelog</a>).

Diff for: ‎_news/2017-04-18-gecode-5-1-0.html

+5
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
---
2+
title: Gecode 5.1.0
3+
---
4+
5+
Gecode 5.1.0 has been released on April 18th, 2017 (<a href='http://www.gecode.org/changes.html'>Changelog</a>).

Diff for: ‎_publications/2006-09-08-programming-constraint-services.html

+46
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,46 @@
1+
---
2+
layout: paper
3+
headline: Publications
4+
title: 'Programming Constraint Services'
5+
authors: '<a href="http://web.it.kth.se/~cschulte/">Christian Schulte</a>'
6+
howpublished: >
7+
Volume 2302 of Lecture Notes in Artificial Intelligence, Springer-Verlag, 2002
8+
link: <a href="http://link.springer.de/link/service/series/0558/tocs/t2302.htm">more</a>
9+
bibtex: >
10+
@Book{Schulte:LNAI:2002,
11+
Author = "Christian Schulte",
12+
Title = "Programming Constraint Services",
13+
Publisher = "Springer-Verlag",
14+
Series = "Lecture Notes in Artificial Intelligence",
15+
Volume = "2302",
16+
Year = 2002,
17+
URL = "http://link.springer.de/link/service/series/0558/tocs/t2302.htm"
18+
}
19+
20+
relation: >
21+
Search architecture also used in Gecode
22+
shorthowpub: >
23+
Lecture Notes in Artificial Intelligence, Springer-Verlag, 2002.
24+
---
25+
26+
<p>
27+
Constraint programming is an approach to modeling and solving
28+
combinatorial problems that has proven succesful in many
29+
applications. Building on techniques developed in AI, logic
30+
programming and operations research, constraint programming is based
31+
on an abstraction that decomposes the problem solver into a reusable
32+
constraint engine and a declarative program modeling the problem.
33+
</p>
34+
<p>
35+
This book is concerned with the architecture and implementation of
36+
constraint engines. The author's main contribution is that constraint
37+
services, such as search and combinators, are made programmable; this
38+
is achieved by devising computation spaces as simple abstraction for
39+
programming constraint services at a high level. State-of-the-art and
40+
novel search strategies, such as visual interactive search and
41+
parallel search are covered.
42+
</p>
43+
<p>
44+
The book is indispensible reading for anyone seriously interested in
45+
constraint technology.
46+
</p>

0 commit comments

Comments
 (0)