Skip to content
This repository was archived by the owner on Oct 3, 2021. It is now read-only.

Commit 28fbe77

Browse files
lembergerthlembergerth
committed
Add licenses to original XCSP3 tasks
1 parent ecae171 commit 28fbe77

File tree

119 files changed

+1071
-0
lines changed

Some content is hidden

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

119 files changed

+1071
-0
lines changed

‎c/xcsp/original/extensional_benchmarks/dubois/Dubois-015.xml‎

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,12 @@
1+
<!--
2+
This file is part of the XCSP3 collection of combinatorial constrained problems:
3+
https://www.xcsp.org
4+
5+
SPDX-FileCopyrightText: 2016 Gilles Audemard
6+
7+
SPDX-License-Identifier: MIT
8+
-->
9+
110
<instance format="XCSP3" type="CSP">
211
<variables>
312
<array id="x" size="[45]"> 0 1 </array>

‎c/xcsp/original/extensional_benchmarks/dubois/Dubois-016.xml‎

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,12 @@
1+
<!--
2+
This file is part of the XCSP3 collection of combinatorial constrained problems:
3+
https://www.xcsp.org
4+
5+
SPDX-FileCopyrightText: 2016 Gilles Audemard
6+
7+
SPDX-License-Identifier: MIT
8+
-->
9+
110
<instance format="XCSP3" type="CSP">
211
<variables>
312
<array id="x" size="[48]"> 0 1 </array>

‎c/xcsp/original/extensional_benchmarks/dubois/Dubois-017.xml‎

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,12 @@
1+
<!--
2+
This file is part of the XCSP3 collection of combinatorial constrained problems:
3+
https://www.xcsp.org
4+
5+
SPDX-FileCopyrightText: 2016 Gilles Audemard
6+
7+
SPDX-License-Identifier: MIT
8+
-->
9+
110
<instance format="XCSP3" type="CSP">
211
<variables>
312
<array id="x" size="[51]"> 0 1 </array>

‎c/xcsp/original/extensional_benchmarks/dubois/Dubois-018.xml‎

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,12 @@
1+
<!--
2+
This file is part of the XCSP3 collection of combinatorial constrained problems:
3+
https://www.xcsp.org
4+
5+
SPDX-FileCopyrightText: 2016 Gilles Audemard
6+
7+
SPDX-License-Identifier: MIT
8+
-->
9+
110
<instance format="XCSP3" type="CSP">
211
<variables>
312
<array id="x" size="[54]"> 0 1 </array>

‎c/xcsp/original/extensional_benchmarks/dubois/Dubois-019.xml‎

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,12 @@
1+
<!--
2+
This file is part of the XCSP3 collection of combinatorial constrained problems:
3+
https://www.xcsp.org
4+
5+
SPDX-FileCopyrightText: 2016 Gilles Audemard
6+
7+
SPDX-License-Identifier: MIT
8+
-->
9+
110
<instance format="XCSP3" type="CSP">
211
<variables>
312
<array id="x" size="[57]"> 0 1 </array>

‎c/xcsp/original/extensional_benchmarks/dubois/Dubois-020.xml‎

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,12 @@
1+
<!--
2+
This file is part of the XCSP3 collection of combinatorial constrained problems:
3+
https://www.xcsp.org
4+
5+
SPDX-FileCopyrightText: 2016 Gilles Audemard
6+
7+
SPDX-License-Identifier: MIT
8+
-->
9+
110
<instance format="XCSP3" type="CSP">
211
<variables>
312
<array id="x" size="[60]"> 0 1 </array>

‎c/xcsp/original/extensional_benchmarks/dubois/Dubois-021.xml‎

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,12 @@
1+
<!--
2+
This file is part of the XCSP3 collection of combinatorial constrained problems:
3+
https://www.xcsp.org
4+
5+
SPDX-FileCopyrightText: 2016 Gilles Audemard
6+
7+
SPDX-License-Identifier: MIT
8+
-->
9+
110
<instance format="XCSP3" type="CSP">
211
<variables>
312
<array id="x" size="[63]"> 0 1 </array>

‎c/xcsp/original/extensional_benchmarks/dubois/Dubois-022.xml‎

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,12 @@
1+
<!--
2+
This file is part of the XCSP3 collection of combinatorial constrained problems:
3+
https://www.xcsp.org
4+
5+
SPDX-FileCopyrightText: 2016 Gilles Audemard
6+
7+
SPDX-License-Identifier: MIT
8+
-->
9+
110
<instance format="XCSP3" type="CSP">
211
<variables>
312
<array id="x" size="[66]"> 0 1 </array>

‎c/xcsp/original/extensional_benchmarks/dubois/Dubois-023.xml‎

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,12 @@
1+
<!--
2+
This file is part of the XCSP3 collection of combinatorial constrained problems:
3+
https://www.xcsp.org
4+
5+
SPDX-FileCopyrightText: 2016 Gilles Audemard
6+
7+
SPDX-License-Identifier: MIT
8+
-->
9+
110
<instance format="XCSP3" type="CSP">
211
<variables>
312
<array id="x" size="[69]"> 0 1 </array>

‎c/xcsp/original/extensional_benchmarks/dubois/Dubois-024.xml‎

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,12 @@
1+
<!--
2+
This file is part of the XCSP3 collection of combinatorial constrained problems:
3+
https://www.xcsp.org
4+
5+
SPDX-FileCopyrightText: 2016 Gilles Audemard
6+
7+
SPDX-License-Identifier: MIT
8+
-->
9+
110
<instance format="XCSP3" type="CSP">
211
<variables>
312
<array id="x" size="[72]"> 0 1 </array>

0 commit comments

Comments
 (0)