Z3 Gate

Z3 SAT/UNSAT — Hard Glass kernel