ez3 (hackage): Z3 bonds with universally-quantified pure interface, like ST
Keywords: bsd3|deprecated|library|unclassified