MINTO
MINTO ( Mixed Integer Optimizer ) to narzędzie do rozwiązywania programów liczb całkowitych , które wykorzystuje algorytm rozgałęzień i ograniczeń .
MINTO to system oprogramowania, który rozwiązuje problem programowania mieszanych liczb całkowitych za pomocą algorytmu rozgałęzionego i powiązanego z relaksacjami programowania liniowego . Zapewnia również automatyczną klasyfikację ograniczeń, wstępne przetwarzanie, pierwotną heurystykę i generowanie ograniczeń. Ma również wbudowane generowanie cięć i może tworzyć cięcia plecakowe, cięcia GUB, cięcia klikowe, cięcia implikacyjne, cięcia przepływowe, mieszane zaokrąglenia liczb całkowitych i cięcia Gomory'ego . Co więcej, użytkownik może wzbogacić podstawowy algorytm, udostępniając różne wyspecjalizowane procedury aplikacji, które mogą dostosować MINTO w celu osiągnięcia wyższej wydajności dla klasy problemu.
MINTO nie posiada własnego solwera programowania liniowego (LP). Może korzystać z większości solwerów LP, takich jak CLP, CPLEX , XPRESS poprzez interfejs OSI COIN-OR . MINTO może odczytywać pliki w MPS i może być również wywoływany jako solver z AMPL . Może działać zarówno w Linux , jak i Windows. MINTO jest niekomercyjnym narzędziem do rozwiązywania problemów, a pliki wykonywalne są dostępne do bezpłatnego pobrania ze strony domowej COR@L.
Zobacz też
- JT Linderoth i TK Ralphs, niekomercyjne oprogramowanie do programowania liniowego mieszanych liczb całkowitych, programowanie liczb całkowitych: teoria i praktyka , John Karlof (red.), CRC Press Operations Research Series, 2005, 253–303 . (wersja robocza PDF)