Hacker News new | ask | show | jobs
SMT-Lib the Satisfiability Modulo Theories Library (smtlib.cs.uiowa.edu)
1 points by agytvfr 2022 days ago