У меня есть LP с целочисленными ограничениями, которые я хочу решить в точной арифметике, используя Python.На самом деле, мне нужна только допустимая точка.
Редактировать: «Точная арифметика» здесь означает рациональные числа, неограниченного счетчика и знаменателя.
Предыдущие попытки:
- Поиск точных решений для линейной программы упоминает qsoptex, но когда я пытаюсь импортировать его, я получаю
ImportError: libqsopt_ex.so.2: cannot open shared object file: No such file or directory, хотя, насколько мне известно, я дал путь к этой библиотеке. - SoPlexработает на консоли, но я не смог найти интерфейс Python.
- PySCIPOpt (https://github.com/SCIP-Interfaces/PySCIPOpt) - это интерфейс Python для SCIP, включая SoPlex, но я не вижу, как вызвать конкретный решатель(с определенными параметрами).
- cdd (https://pycddlib.readthedocs.io/en/latest/linprog.html) делает что-то , называя это LP, но я понятия не имею, какую проблему они на самом деле решают.
Скорость - это лишь умеренная проблема. В моих более крупных экземплярах есть около 500 переменных с ограничениями на ячейки и 40 равенствами, но их число может быть большим.