The solver used on this project is the winner of the 2017 sat competition in the category of "Parallel Track" category, called Syrup.
The solver used on this project is the winner of the 2017 sat competition in the category of "Parallel Track" category, called Syrup.