Making TLA+ and x86 Kiss via Z3Py

4 points | by matt_d 10 hours ago