1 2 3 4 5 6 7 8 9
doc-valid-idents = [ "RustSAT", "CaDiCaL", "MaxSAT", "BatSat", "AllDifferent", "..", ] avoid-breaking-exported-api = false