Czy są jakieś bezpłatne solwery zdolne do rozwiązaniaproblemy z programowaniem liczb całkowitych z dużymi liczbami (co najmniej 336 bitów)? Wszystkie solwery, na które patrzyłem, wydają się zakładać tylko podwójną precyzję, a ja nie byłem w stanie znaleźć żadnej, która twierdzi, że jest dowolna.
Odpowiedzi:
2 dla odpowiedzi № 1Jedyne, o czym wiem, to SCIP - to naprawdę dobry solver i mają wersję beta, która wykonuje dokładną arytmetykę, chociaż jeszcze nie próbowałem tej strony SCIP: http://scip.zib.de/exactmip.shtml
Ponadto osoby pracujące nad SCIP wydają się być bardzo pomocne, a lista aktywnych wiadomości e-mail jest również dostępna, więc możesz uzyskać dobre wsparcie.
Tim