yinyang-project @testsmtsolvers

Regular tweets on interesting bugs in the SMT solvers Z3 and CVC4 (@cvc5_solver) Tool: https://t.co/yg7OJwFw7y testsmt.github.io Joined April 2020
  • Tweets
    134
  • Followers
    412
  • Following
    413
  • Likes
    124