[circle-mpqsolver] Introduce integer/binary programming setting to search for optimal MPQ configuration

[stamalakhov]

What

Let's try to formulate search for optimal MPQ configuration as binary programming task.

Why

There are plenty of software and algorithms that efficiently resolves binary optimization problems and give us global optimum for the problem.

How

Examples of such approximation could be found at in https://arxiv.org/pdf/2006.10518.pdf and https://arxiv.org/pdf/2011.10680.pdf. Seems that it would be more easy to implement it in python script with linear solver (e.g. PULP) being installed to venv. As input the script will get circle model to optimize, static latency costs of model nodes, dataset to estimate accuracy, and constraints on latency/accuracy. As output it will bring us MPQ configuration (and/or MPQ circle model).

cc @Torrero