Closed jbellik closed 3 years ago
Adds argument n to binarity constraints so that on the backend they can be n-arity constraints; the user can supply any value of n.
Creates maximal ternarity constraints and adds them to interface. Reorganizes Binarity fieldset on interface.
Closes #388
Adds argument n to binarity constraints so that on the backend they can be n-arity constraints; the user can supply any value of n.
Creates maximal ternarity constraints and adds them to interface. Reorganizes Binarity fieldset on interface.
Closes #388