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