SAT encoding project for the 'SAT solving' course at the LMU. Joint work with another student - details in the last GUI tab of 'Tents'.