Полный солвер дз авдошина за 1 курс (в варианте 15-16 учебного года). Один из двух существовавших на тот момент солверов, находящий истинные минимальные выражения для функций во 2 задании.
git clone https://git.iko.soy/ikoHSE/SolveAvdoshin.git
There is no readme on master. See the files.