Hacker News new | ask | show | jobs
by apw 4666 days ago
Is STP considered a qualitatively different kind of tool than Yices and Z3?