Allow model vars to be unused in SAT formula#178

kellyma2 merged 1 commit into

rmohr:mainrmohr/bazeldnf:mainfrom

aszady:collapse.unusedaszady/bazeldnf:collapse.unusedCopy head branch name to clipboard