{
 "action": "new_repo",
 "branch": "rawhide",
 "bug_id": 2257770,
 "description": "[BreakID](https://github.com/meelgroup/breakid) is a symmetry detecting and\nbreaking library for SAT solvers.  It is based on Jo Devriendt's\n[BreakID code](https://bitbucket.org/krr/breakid/src/master/).  It has been\nre-licensed by the original author to be MIT.  All modifications by Mate Soos.\n",
 "exception": false,
 "monitor": "monitoring",
 "namespace": "rpms",
 "repo": "breakid",
 "summary": "Symmetry detecting and breaking library",
 "upstreamurl": "https://github.com/meelgroup/breakid"
}