A front-end for the Z3 SMT solver that makes it usable on data available on OpenStack rest API. - View it on GitHub