{"shas":[["d98415816858331af369c1e45d6ec38926e497e4","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Add option to specify SMT solver","Henning Günther"]],"ref":"refs/heads/smt-target","size":1,"head":"d98415816858331af369c1e45d6ec38926e497e4","push_id":43469470}