Tuesday, June 25, 2013

Product enumeration example using Z3


code:
http://www.unbox.org/things/var/abdel/code/Z3/mobile_enum.py

copy-paste into:
http://rise4fun.com/z3py/tutorial

and you'll get 8 products.




Posted by at

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)