3 ms·
Z3 is a low-level solver that tools are usually built on top of. TLA+ is a higher level language that uses an SMT solver underneath.
by benbjohnson 8y ago
Z3 is a low-level solver that tools are usually built on top of. TLA+ is a higher level language that uses an SMT solver underneath.