|
||||||||||
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.
solver
.
solver
.
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.
ISolver
.IProblem.primeImplicant()
method.
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |