{"ref":"fix-echo","ref_type":"branch","master_branch":"master","description":"A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.","pusher_type":"user"}
{"actor":{"display_login":"maul-esel"}}