forked from MiniZinc/minizinc.github.io
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy patholdnews.html
213 lines (170 loc) · 12 KB
/
oldnews.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
---
layout: minizinc
title: MiniZinc - News Archive
---
<div class="container">
<div class="row">
<div class="col-lg-12">
<h1 class="page-header">
MiniZinc News Archive
</h1>
</div>
</div>
<div class="row">
<div class="col-md-12">
<h3>Announcements from 2017</h3>
<ul>
<li><b>2017-09-22</b> MiniZinc 2.1.6 has been released (<a href="changes.html">change log</a>).</li>
<li><b>2017-08-30</b> The MiniZinc Challenge 2017 results available <a href="challenge2017/results2017.html">here</a>. </li>
<li><b>2017-05-17</b> MiniZinc 2.1.5 has been released (<a href="changes.html">change log</a>).</li>
<li><b>2017-03-16</b> MiniZinc 2.1.4 has been released (<a href="changes.html">change log</a>).</li>
<li><b>2017-03-06</b> 10th edition of the <a href="challenge2017/challenge.html">MiniZinc Challenge</a> has been announced.</li>
<li><b>2017-02-06</b> MiniZinc 2.1.3 has been released (<a href="changes.html">change log</a>).</li>
</ul>
<h3>Announcements from 2016</h3>
<ul>
<li><b>2016-12-20</b> MiniZinc 2.1.2 has been released (<a href="changes.html">change log</a>).</li>
<li><b>2016-12-16</b> The MiniZinc library documentation now has an <a href="doc-lib/doc-index.html">index</a>.</li>
<li><b>2016-12-14</b> MiniZinc 2.1.1 has been released (<a href="changes.html">change log</a>).</li>
<li><b>2016-11-17</b> MiniZinc 2.1.0 has been released (<a href="changes.html">change log</a>).</li>
<li><b>2016-10-26</b> Meet the <a href="team.html">MiniZinc Team</a>!</li>
<li><b>2016-10-22</b> The tutorial is now also available in <a href="/tutorial/minizinc-tute-cn.pdf">Chinese</a>!
MiniZinc手册<a href="/tutorial/minizinc-tute-cn.pdf">中文版</a>已经提供</li>
<li><b>2016-10-20</b> The MiniZinc website is now hosted on GitHub Pages.</li>
<li><b>2016-10-20</b> The MiniZinc Forum has been relocated to <a href="https://groups.google.com/forum/#!forum/minizinc">Google Groups</a>, due to an unmanagable number of spam posts in the old forum</li>
<li><b>2016-09-28</b> Updated list of <a href="software.html">FlatZinc Implementations</a>. </li>
<li><b>2016-09-05</b> The MiniZinc Challenge 2016 results available <a href="challenge2016/results2016.html">here</a>. </li>
<li><b>2016-07-31</b> MiniZinc and the MiniZinc IDE 2.0.14 have been released.</li>
<li><b>2016-05-20</b> The <a href="challenge2016/challenge.html">MiniZinc Challenge 2016</a> is now underway.</li>
<li><b>2016-02-19</b> First <a href="challenge2016/call_for_problems.html">call for problem submissions</a> for the MiniZinc Challenge 2016.</li>
<li><b>2016-02-19</b> A minor bug in the scoring script was fixed, which affected the results of the MiniZinc Challenge 2015. The results were updated. Thanks to Mohamed Siala for reporting the bug.</li>
<li><b>2016-01-15</b> MiniZinc and the MiniZinc IDE 2.0.11 have been released.</li>
</ul>
<h3>Announcements from 2015</h3>
<ul>
<li><b>2015-09-04</b> The <a href="challenge2015/challenge.html">MiniZinc Challenge 2015</a> has concluded and <a href="challenge2015/results2015.html">the results</a> has been announced.</li>
<li><b>2015-07-31</b> MiniZinc 2.0.5 and the MiniZinc IDE 0.9.9 have been released.</li>
<li><b>2015-07-01</b> MiniZinc 2.0.4 and the MiniZinc IDE 0.9.8 have been released.</li>
<li><b>2015-06-24</b> The <a href="challenge2015/challenge.html">MiniZinc Challenge 2015</a> is now underway.</li>
<li><b>2015-05-26</b> MiniZinc 2.0.2 and the MiniZinc IDE 0.9.7 have been released.</li>
<li><b>2015-04-23</b> First <a href="challenge2015/call_for_problems.html">call for problem submissions</a> for the MiniZinc Challenge 2015.</li>
</ul>
<h3>Announcements from 2014</h3>
<ul>
<li><b>2014-12-15</b> MiniZinc 2.0.1 has been released.</li>
<li><b>2014-12-09</b> MiniZinc 2.0.0 has been released.</li>
<li><b>2014-10-03</b> We updated the alpha version of Stochastic MiniZinc - <a href="stochastic/index.html">check it out!</a></li>
<li><b>2014-09-19</b> A minor bug in the scoring script was fixed, which affected the results of the MiniZinc Challenge 2013 and 2014. The results were updated. Thanks to Roberto Amadini for reporting the bug.</li>
<li><b>2014-09-10</b> Announcement of the results of the <a href="challenge2014/challenge.html">MiniZinc Challenge 2014</a>. Congratulation to the winners. Detailed results are available <a href="challenge2014/challenge.html">here</a>.</li>
<li><b>2014-07-11</b> A new and better version of the <a href="downloads/doc-latest/minizinc-tute.pdf">MiniZinc Tutorial</a> is available.</li>
<li><b>2014-06-26</b> The <a href="challenge2014/challenge.html">MiniZinc Challenge 2014</a> is now underway.</li>
<li><b>2014-05-21</b> A beta version of <a href="2.0/index.html">MiniZinc 2.0 is now available.</a></li>
<li><b>2014-04-17</b> First <a href="challenge2014/call_for_problems.html">call for problem submissions</a> for the MiniZinc Challenge 2014.</li>
<li><b>2014-02-03</b> The new <a href="/ide/index.html">MiniZinc IDE</a> is now available for download.</li>
</ul>
<h3>Announcements from 2013</h3>
<ul>
<li><b>2013-09-17</b> The results of the <a href="challenge2013/results2013.html">MiniZinc Challenge 2013</a> have been announced.</li>
<li><b>2013-07-01</b> Execution Environment for the MiniZinc Challenge 2013 was updated (see <a href="challenge2013/rules2013.html">here</a>).</li>
<li><b>2013-06-21</b> A converter from XCSP to MiniZinc is available <a href="downloads/misc/xcsp2mzn.zip">here</a>. Thanks to Jacopo Mauro and Roberto Amadini.</li>
<li><b>2013-04-11</b> The <a href="challenge2013/challenge.html">MiniZinc Challenge 2013</a> is now underway.</li>
<li><b>2013-04-11</b> A new and better version of the <a href="downloads/doc-latest/minizinc-tute.pdf">MiniZinc Tutorial</a> is available.</li>
<li><b>2013-04-04</b> First <a href="challenge2013/call_for_problems.html">call for problem submissions</a> for the MiniZinc Challenge 2013.</li>
<li><b>2013-03-19</b> The web site has moved to a new server, www.minizinc.org.</li>
</ul>
<h3>Announcements from 2012</h3>
<ul>
<li><b>2012-10-30</b> The <i>g12-users</i> mailing list has been replaced by the <i>minizinc-users</i>
mailing list.<br>
Subscribers to the old list have been automatically subscribed to the new list.<br>
See below for further details.</li>
<li><b>2012-10-12</b> The results of the <a href="challenge2012/results2012.html">MiniZinc Challenge 2012</a> have been announced.</li>
<li><b>2012-09-20</b> Version 1.6 of the <a href="g12distrib.html">G12 MiniZinc distribution</a> has been released.</li>
</ul>
<h3>Announcements from 2011</h3>
<ul>
<li><b>2011-11-24</b> Version 1.4.2 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.4.1 is available <a href="downloads/doc-1.4.2/NEWS">here</a>.
<li><b>2011-11-11</b> Version 1.4.1 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.4 is available <a href="downloads/doc-1.4.1/NEWS">here</a>.
<li><b>2011-09-21</b> Version 1.4 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.3.2 is available <a href="downloads/doc-1.4/NEWS">here</a>.
<li><b>2011-03-21</b> Version 1.3.2 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.3.1 is available <a href="downloads/doc-1.3.2/NEWS">here</a>.
<li><b>2011-02-23</b> Version 1.3.1 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.3 is available <a href="downloads/doc-1.3.1/NEWS">here</a>.
<li><b>2011-02-11</b> Version 1.3 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.2.2 is available <a href="downloads/doc-1.3/NEWS">here</a>.
</ul>
<h3>Announcements from 2010</h3>
<ul>
<li><b>2010-12-07</b> Version 1.2.2 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.2.1 is available <a href="downloads/doc-1.2.2/NEWS">here</a>.
<li><b>2010-11-24</b> Version 1.2.1 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.2 is available <a href="downloads/doc-1.2.1/NEWS">here</a>.
<li><b>2010-11-12</b> Version 1.2 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.1.6 is available <a href="downloads/doc-1.2/NEWS">here</a>.
<li><b>2010-08-27</b> Version 1.1.6 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.1.5 is available <a href="downloads/doc-0.11.6/NEWS">here</a>.
<li><b>2010-07-22</b> Version 1.1.5 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.1.4 is available <a href="downloads/doc-0.11.5/NEWS">here</a>.
<li><b>2010-07-18</b> Version 1.1.4 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.1.3 is available <a href="downloads/doc-0.11.4/NEWS">here</a>.
<li><b>2010-06-11</b> Version 1.1.3 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.1.2 is available <a href="downloads/doc-0.11.3/NEWS">here</a>.
<li><b>2010-05-11</b> Version 1.1.2 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.1.1 is available <a href="downloads/doc-0.11.2/NEWS">here</a>.
<li><b>2010-03-26</b> Version 1.1.1 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.1 is available <a href="downloads/doc-0.11.1/NEWS">here</a>.
<li><b>2010-03-17</b> Version 1.1 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.0.3 is available <a href="downloads/doc-0.11/NEWS">here</a>.
<p>
There is also a <a href="downloads/doc-0.11/fzn_transition.pdf">transition guide</a> to
assist FlatZinc implementors in updating their implementations from version 1.0.X.
</ul>
<h3>Announcements from 2009</h3>
<ul>
<li><b>2009-10-14</b> Version 1.0.3 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.0.2 is available <a href="downloads/doc-0.10.3/NEWS">here</a>.
<li><b>2009-07-29</b> Version 1.0.2 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.0.1 is available <a href="downloads/doc-0.10.2/NEWS">here</a>.
<li><b>2009-07-07</b> Version 1.0.1 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.0 is available <a href="downloads/doc-0.10.1/NEWS">here</a>.
<li><b>2009-05-20</b> Version 1.0 of the G12 MiniZinc distribution has been released.
A list of changes since version 0.9 is available <a href="downloads/doc-0.10/NEWS">here</a>.
<p>
There is also a <a href="downloads/doc-0.10/fzn_transition.pdf">transition guide</a> to assist
FlatZinc implementors in updating their implementations from version 0.9.
</ul>
<h3>Announcements from 2008</h3>
<ul>
<li><b>2008-12-23</b> Version 0.9 of the G12 MiniZinc distribution has been released.
A list of changes since version 0.8.1 is available <a href="downloads/doc-0.9/NEWS">here</a>.
<li><b>2008-12-04</b> A Cygwin package for version 0.8.1 is available.
<li><b>2008-06-19</b> Version 0.8.1 of the G12 MiniZinc distribution has been
released.
A list of changes since version 0.8 is available <a href="downloads/doc-0.8.1/NEWS">here</a>.
<li><b>2008-05-30</b> Version 0.8 of the G12 MiniZinc distribution has been
released.
A list of changes since version 0.7.1 is available <a href="downloads/doc-0.8/NEWS">here</a>.
<li><b>2008-02-20</b> Version 0.7.1 of the G12 MiniZinc distribution has been
released.
A list of changes since version 0.7 is available <a href="downloads/doc-0.7.1/NEWS">here</a>.
</ul>
<h3>Announcements from 2007</h3>
<ul>
<li><b>2007-12-19</b> Version 0.7 of the G12 MiniZinc distribution has been
released.
<li><b>2007-10-19</b> Snapshots of the development version of the
G12 MiniZinc distribution are now available from
<a href="downloads/rotds/index.html">here</a>.
<li><b>2007-09-25</b> We have added a workaround for a bug in <i>mzn2fzn</i>
0.6 that caused it to generate FlatZinc that <i>flatzinc</i> 0.6 would
not accept.
<li><b>2007-09-25</b> The jobshop data file <i>jobshop_yn4.data</i> in
the version 0.6 of the MiniZinc distribution was invalid.
A corrected version of the file is available <a href="downloads/release-0.6/jobshop_yn4.data">here</a>.
</ul>
</div>
</div>
</div>