/smt-multiplex

Primary LanguageRust

$ rustup doc

z3 needs:

  • -in - read from stdin
  • -nw - no warnings