# **non-degenerate** function, meaning that all variables are essential. # The rest of this tutorial describes the various constraints. # Each constraint defines a specific family of n-input Boolean ...