4 ms·You can try Z3 online here: http://rise4fun.com/Z3/ http://rise4fun.com/Z3/by fugyk 12y agoYou can try Z3 online here: http://rise4fun.com/Z3/ http://rise4fun.com/Z3/