{"shas":[["be5edd506f71240c9b07853d87bf9d04166bac12","5f91d36b3f5d2df82badd98802b915d65d9fc34c@uos.de","Cone: getter for constraints implemented","Christof Soeger"]],"ref":"refs/heads/master","size":1,"head":"be5edd506f71240c9b07853d87bf9d04166bac12","push_id":32244258}