Skip to content

XCSP3 Competition Compatibility#253

Draft
Dekker1 wants to merge 2 commits intoshackle-rs:developfrom
Dekker1:feat/xcsp3-comp
Draft

XCSP3 Competition Compatibility#253
Dekker1 wants to merge 2 commits intoshackle-rs:developfrom
Dekker1:feat/xcsp3-comp