E

Exchequer

Solving XCSP3 problems using xcsp2c and CBMC