{"ref":"master","ref_type":"branch","master_branch":"master","description":"The MaxSAT solver Loandra as it participated in the incomplete track of the 2019 MSE","pusher_type":"user"}
{"actor":{"display_login":"jezberg"}}