Add support for the SMTLib2 language used in the Z3 course Reasoning and Logic.

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

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

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

Log in to post comments