Hacker News new | ask | show | jobs
by pcarbonn 947 days ago
Yes. It uses a more convenient language than SMT-Lib to express "knowledge", and offers more functionality.