Support for check boxes
Configuration of SAT solver visualization