doc-valid-idents = [
  "RustSAT",
  "CaDiCaL",
  "MaxSAT",
  "BatSat",
  "AllDifferent",
  "..",
]
avoid-breaking-exported-api = false