Project Euler problems solved by Dennis Yurichev

Tools/languages used:
Python, C, C++, Wolfram Mathematica, SAT/SMT solvers and Google OR-tools.