Support SMTLib2 (Z3) language
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
Issue Log
On 4 October 2018 at 11:27 D. Pelsmaeker tagged 0.47.17
On 4 October 2018 at 11:31 D. Pelsmaeker closed this issue.
Log in to post comments