)]}'
{
  "id": "b30cff0e5fcbc15cc57b1eebe3956cdebae3bc99",
  "repo": "third_party/vtr-verilog-to-routing",
  "revision": "72c052eb1f2a4fe16149d53b31bf595d6cdef9f2",
  "path": "abc/src/sat/bsat2/Options.cpp"
}