[SMT-LIB] Array Usage Example

haihao shen haihaoshen at gmail.com
Sun Dec 18 09:31:57 EST 2011


Hello,

As mentioned in tutorial, smt syntax could support Array theory. However, I
cannot find a example from tutorial. Could anyone please share an example
of its usage?

Thanks in advance!

Best,
Haihao


More information about the SMT-LIB mailing list