This repository is a third year project of which is part of a Bsc Computer science degree. The projects full title is 'Understanding how to attack DES via SAT'