SAT structure creation, stage 2
Install all the additional variables for penalties and complex dependencies, as described in design/deps.txt
. Add the relevant clauses. This is continuation of #122 (closed).
Install all the additional variables for penalties and complex dependencies, as described in design/deps.txt
. Add the relevant clauses. This is continuation of #122 (closed).