wazabin-smt v0.1.0 — QCode SSA to SMT translation, per-path state tree, SMT-LIB2 emission and a solver backend interface

Sign in to join the discussion — your thebay.events account works here.