Check out colin_smt11 (@colin