{"shas":[["505bb876828244ca331d31aaa056113778aeec4f","c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","changing --omega-test option to --solver=SOLVER option","Masahiro Sakai"]],"ref":"refs/heads/master","size":1,"head":"505bb876828244ca331d31aaa056113778aeec4f","push_id":35611762}