# |
Date |
Size |
|
Editor |
Comment |
Action |
64 |
2013-02-24 21:41:15 |
17001 |
to previous |
host100-21-dynamic |
|
view |
63 |
2013-02-23 17:28:54 |
16408 |
to previous |
FrancescoCalimeri |
update all links to checkers in order to point to svn versions |
view |
62 |
2013-02-22 09:41:52 |
16017 |
to previous |
FrancescoCalimeri |
Updated Knight Tour with Holes description |
view |
61 |
2013-02-21 12:23:09 |
15948 |
to previous |
maia |
|
view |
60 |
2013-02-20 17:21:53 |
15938 |
to previous |
maia |
|
view |
59 |
2013-02-20 00:21:51 |
15693 |
to previous |
FrancescoCalimeri |
link encodings to slinks pointing to an automatically up-to-date svn copy |
view |
58 |
2013-02-19 23:46:28 |
14517 |
to previous |
FrancescoCalimeri |
link sample instances to slinks pointing to an automatically up-to-date svn copy |
view |
57 |
2013-02-18 13:11:28 |
14335 |
to previous |
e215-129 |
fix two links in encoding |
view |
56 |
2013-02-18 13:01:24 |
14414 |
to previous |
e215-129 |
fix the link of visitall-sample.zip (before was "...samples...") |
view |
55 |
2013-02-18 09:02:42 |
14472 |
to previous |
160 |
|
view |
54 |
2013-02-16 11:44:38 |
14397 |
to previous |
maia |
Changed path of ricochet robots sample instances |
view |
53 |
2013-02-15 14:09:49 |
14391 |
to previous |
host199-115-dynamic |
|
view |
52 |
2013-02-13 09:37:59 |
14312 |
to previous |
maia |
|
view |
51 |
2013-02-13 09:37:29 |
14241 |
to previous |
maia |
Removed rota-workforce |
view |
50 |
2013-02-13 09:36:25 |
14454 |
to previous |
maia |
|
view |
49 |
2013-02-13 09:35:46 |
14376 |
to previous |
maia |
|
view |
48 |
2013-02-11 15:06:47 |
14341 |
to previous |
maia |
|
view |
47 |
2013-02-11 12:40:26 |
14249 |
to previous |
jok |
|
view |
46 |
2013-02-11 11:05:20 |
14117 |
to previous |
maia |
|
view |
45 |
2013-02-11 10:37:23 |
13314 |
to previous |
maia |
|
view |
44 |
2013-02-11 10:35:55 |
13204 |
to previous |
maia |
|
view |
43 |
2013-02-11 10:35:13 |
13197 |
to previous |
maia |
|
view |
42 |
2013-02-10 21:59:09 |
13098 |
to previous |
FrancescoCalimeri |
Fix, update and clarify specs for Rotating Workforce Scheduling. |
view |
41 |
2013-02-10 18:02:20 |
13002 |
to previous |
FrancescoCalimeri |
|
view |
40 |
2013-02-09 16:44:29 |
12926 |
to previous |
host146-17-dynamic |
|
view |
39 |
2013-02-09 16:43:01 |
12920 |
to previous |
host146-17-dynamic |
|
view |
38 |
2013-02-09 16:24:37 |
12783 |
to previous |
host146-17-dynamic |
|
view |
37 |
2013-02-09 11:06:47 |
12655 |
to previous |
FrancescoCalimeri |
change strategic companies code from O12 to N12 (formulation has changed!!!!) and mark it with a star for the sake or visibility. |
view |
36 |
2013-02-09 09:59:47 |
12648 |
to previous |
FrancescoCalimeri |
fix link to encoding and sample instances for strategic companies. |
view |
- |
2013-02-09 09:51:26 |
725 |
- |
FrancescoCalimeri |
ATTNEW: Strategic-Companies-ENCODING.txt |
view get |
- |
2013-02-09 09:50:17 |
725 |
- |
FrancescoCalimeri |
ATTDEL: Strategic-Companies-ENCODING.txt |
view get |
35 |
2013-02-08 16:14:50 |
12649 |
to previous |
FrancescoCalimeri |
|
view |
34 |
2013-02-08 16:13:45 |
12649 |
to previous |
FrancescoCalimeri |
|
view |
- |
2013-02-08 16:12:06 |
376 |
- |
FrancescoCalimeri |
ATTNEW: Graph-Colouring-ENCODING.txt |
view get |
- |
2013-02-08 16:11:18 |
1988 |
- |
FrancescoCalimeri |
ATTNEW: Hanoi-Tower-ENCODING.txt |
view get |
- |
2013-02-08 16:10:33 |
4630 |
- |
FrancescoCalimeri |
ATTNEW: Minimal-Diagnosis-ENCODING.txt |
view get |
- |
2013-02-08 16:10:11 |
2510 |
- |
FrancescoCalimeri |
ATTNEW: Labyrinth-ENCODING.txt |
view get |
- |
2013-02-08 16:09:39 |
332 |
- |
FrancescoCalimeri |
ATTNEW: Maximal-Clique-Problem-ENCODING.txt |
view get |
- |
2013-02-08 16:08:52 |
2032 |
- |
FrancescoCalimeri |
ATTNEW: Knight-Tour-with-Holes-ENCODING.txt |
view get |
- |
2013-02-08 16:08:22 |
2510 |
- |
FrancescoCalimeri |
ATTNEW: Complex-Optimization-of-Answer-Sets-ENCODING.txt |
view get |
- |
2013-02-08 16:06:27 |
1155 |
- |
FrancescoCalimeri |
ATTNEW: Visit-all-ENCODING.txt |
view get |
- |
2013-02-08 16:05:52 |
4595 |
- |
FrancescoCalimeri |
ATTNEW: Abstract-Dialectical-Frameworks-Well-founded-Model-ENCODING.txt |
view get |
- |
2013-02-08 16:05:15 |
68960906 |
- |
FrancescoCalimeri |
ATTNEW: Chemical-Classification-ENCODING.txt |
view get |
- |
2013-02-08 16:01:00 |
16058 |
- |
FrancescoCalimeri |
ATTNEW: Qualitative-Spatial-Reasoning-ENCODING.txt |
view get |
- |
2013-02-08 15:59:55 |
2996 |
- |
FrancescoCalimeri |
ATTNEW: Incremental-Scheduling-ENCODING.txt |
view get |
- |
2013-02-08 15:59:33 |
572 |
- |
FrancescoCalimeri |
ATTNEW: Stable-Marriage-ENCODING.txt |
view get |
- |
2013-02-08 15:59:00 |
2301 |
- |
FrancescoCalimeri |
ATTNEW: Weighted-Sequence-Problem-ENCODING.txt |
view get |
- |
2013-02-08 15:58:38 |
4118 |
- |
FrancescoCalimeri |
ATTNEW: Solitaire-ENCODING.txt |
view get |
- |
2013-02-08 15:58:17 |
725 |
- |
FrancescoCalimeri |
ATTNEW: Strategic-Companies-ENCODING.txt |
view get |
- |
2013-02-08 15:57:41 |
68 |
- |
FrancescoCalimeri |
ATTNEW: Reachability-ENCODING.txt |
view get |