Skip to main content

Module constraint_counter

zinc_uair

Module constraint_counter 

Source

Functionsยง

count_constraints
Get the number of polynomial constraints in a Uair.