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

Commit adf875c

Browse files
lembergerthlembergerth
committed
Recreate tasks that were wrongly created by defect XCSP3 translation
1 parent 45ae633 commit adf875c

Some content is hidden

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

48 files changed

+18666
-18666
lines changed

‎c/xcsp/aim-100-1-6-sat-1.c‎

Lines changed: 143 additions & 143 deletions
Large diffs are not rendered by default.

‎c/xcsp/aim-100-1-6-sat-2.c‎

Lines changed: 145 additions & 145 deletions
Large diffs are not rendered by default.

‎c/xcsp/aim-100-1-6-sat-3.c‎

Lines changed: 146 additions & 146 deletions
Large diffs are not rendered by default.

‎c/xcsp/aim-100-1-6-sat-4.c‎

Lines changed: 146 additions & 146 deletions
Large diffs are not rendered by default.

‎c/xcsp/aim-100-1-6-unsat-1.c‎

Lines changed: 146 additions & 146 deletions
Large diffs are not rendered by default.

‎c/xcsp/aim-100-1-6-unsat-2.c‎

Lines changed: 138 additions & 138 deletions
Large diffs are not rendered by default.

‎c/xcsp/aim-100-1-6-unsat-3.c‎

Lines changed: 140 additions & 140 deletions
Large diffs are not rendered by default.

‎c/xcsp/aim-100-1-6-unsat-4.c‎

Lines changed: 144 additions & 144 deletions
Large diffs are not rendered by default.

‎c/xcsp/aim-100-2-0-sat-1.c‎

Lines changed: 183 additions & 183 deletions
Large diffs are not rendered by default.

‎c/xcsp/aim-100-2-0-sat-2.c‎

Lines changed: 184 additions & 184 deletions
Large diffs are not rendered by default.

0 commit comments

Comments
 (0)