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

Commit 5d704bd

Browse files
committed
Update xcsp3_cpp_parser with fixed version from SoSy-Lab
Original version does not correctly convert constraint-solving problems with extensional constraints that are declared as conflicts
1 parent c90854d commit 5d704bd

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

c/xcsp/Makefile

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -17,11 +17,11 @@ tasks:
1717
reuse addheader --template header.jinja2 --year 2016 --copyright "Gilles Audemard" --license MIT *c
1818

1919
XCSP3_to_C:
20-
git clone https://github.com/vsahil/XCSP3_to_C.git $@
20+
git clone https://github.com/sosy-lab/XCSP3_to_C.git $@
2121

2222
xcsp3_cpp_parser: XCSP3_to_C
2323
# requires git g++ libxml2-dev libboost-dev
2424
cd XCSP3_to_C/XCSP3-CPP-Parser/samples \
25-
&& git checkout a511f3e \
25+
&& git checkout 052144b \
2626
&& make
2727
cp XCSP3_to_C/XCSP3-CPP-Parser/samples/test $@

c/xcsp/xcsp3_cpp_parser

528 KB
Binary file not shown.

0 commit comments

Comments
 (0)