Examples¶
Welcome to the Examples section of our documentation!
Here, you'll find a comprehensive set of practical examples designed to highlight the typical use-cases of th system. Whether you're a first-time user or an experienced pro, these guides will walk you through common use cases and provide step-by-step instructions.
-
Unsatisfiable Subsets
How to compute relevant subsets for unsatisfiability
-
Unsatisfiable Constraints
How to find the constraints causing unsatisfiability
-
Pre-Processors
How to use the available pre-processors
-
Transformers
How to use the available transformers