|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
w1.l1 + w2.l2 + ... wn.ln >= degree
where wi are position integers and li are domain objects.
w1.l1 + w2.l2 + ... wn.ln <= degree
where wi are position integers and li are domain objects.
howmany
variables in the problem (and thus in the
vocabulary), that will be represented using the Dimacs format by integers
ranging from 1 to howmany.
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |