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).
Self sign-up has been disabled due to increased spam activity. If you want to get access, please send an email to a project owner (preferred) or at gitlab(at)nic(dot)cz. We apologize for the inconvenience.
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).