{"ref":"constraints","ref_type":"branch","master_branch":"trunk","description":"Software specification and verification tool based on graph rewriting","pusher_type":"user"}
{"actor":{"display_login":"jsbezerra"}}