Changes

Z3 Language Tests (view source)

159 bytes added , 21:53, 30 March 2016

Line 387: Line 387:

vary...

+

=Program Code in Any Language=

Θ=3+x;

Line 396: Line 398:

അത(4)

−

+

=Z3 and JS=

+

The can be intermixed, and it works beautifully. There are very few things you need to think about mixing syntax.

+

/*Enter Code Here in Z3/Javascript...*/

2,824

edits