Home Page Blog Micro Blog Github About Me Source

z3

z3 is a Theorem Prover. It is used to verify satisfiability and for formal verification

knowledge

💡 document everything. Live at https://mark1626.github.io/knowledge/