Есть ли свободные решатели, способные решать задачи целочисленного программирования с большими числами (не менее 336 бит)? Все решатели, на которые я смотрел, по-видимому, допускают только двойную точность, и я не смог найти какую-либо претензию произвольной точности.Произвольные решатели целых чисел точности?
Единственное, что я знаю, это СКИП - его действительно хороший решатель, и они имеют бета-версии, которая делает точную арифметику, хотя я не пробовал эту сторону SCIP еще: http://scip.zib.de/exactmip.shtml
Кроме того, люди, работающие над SCIP, кажутся действительно полезными, и есть активный список адресов электронной почты поддержки, так что вы, вероятно, получите хорошую поддержку.
Тим