Justified SMT 1: The Minikanren inside Z3 (via mpweiher) — discussion

#compsci