Add the ability to toggle DNF on solves.