Contact

Write to [email protected] with questions about Selectivity, integration work or a reduction that behaves unexpectedly.

For a reproducible bug, the GitHub repository is also a useful starting point. Include the version, operating system and predicate contract, with a small input you can share. Avoid sending private production data. Reports can contain command arguments and captured program output, so check them before attaching anything.