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