Project title: SAT Solver
Project description:
...