The Z3 Theorem Prover: a Satisfiability Modulo Theories (SMT) problem solver

submitted by /u/unquietwiki
[link] [comments]

from programming https://ift.tt/2UnGYaJ