2 ms·

sorry what is Z3?

• phi-go 3y ago
  https://github.com/Z3Prover/z3 https://github.com/Z3Prover/z3 Here is an actual description: https://z3prover.github.io/papers/programmingz3.html#sec-intro https://z3prover.github.io/papers/programmingz3.html#sec-int...