By default the // comment character is used, which is invalid for SMTLib2. Instead, use the ; comment character for SMTLib2.

Submitted by D. Pelsmaeker on 2 October 2018 at 11:16

On 4 October 2018 at 11:27 D. Pelsmaeker tagged 47.18

On 4 October 2018 at 11:31 D. Pelsmaeker closed this issue.

Log in to post comments