Hacker News new | ask | show | jobs
by fugyk 4094 days ago
You can try Z3 online here: http://rise4fun.com/Z3/