Sha256: fdc78f825789080d954598ccb1dd9814f178b8f8aadbca70e2a15321b823de4e

Contents?: true

Size: 356 Bytes

Versions: 0

Compression:

Stored size: 356 Bytes

Contents

xuPMO1EBV0z@0!ѱgYHkb8	W/{ ;l[-ͿrvA1v̛Q=,
JԪڬqZtB'ho-4jg9a	F>jLd'NB'f~杘	V쑍~ڔaX\Wj-V* ʝ4Y&"FR_X!w8>kX+xg7A&tl+7\JRy>z2%#Vrn݄%*lPB(Mh\KswV"*'eIDjM4R7p;dKL0_YG

Quick Spec version

gecoder-with-gecode-0.8.3