The most inefficient Diophantine equation solver.
Using the encoding as SAT problem.
Done.
Работает ужасающе медленно, что, несомненно, прикольно. ;)
Потом расскажу, что да как.
Done.
Работает ужасающе медленно, что, несомненно, прикольно. ;)
Потом расскажу, что да как.
