In this assignment is to use minisat to solve some constraint satisfaction problems. Even though the inputs can be quite large and complex-looking, minisat can usually solve large problems more ...