A modern sequential SAT solver with inprocessing - View it on GitHub