INTLAB
VERSOFT (MATLABで開発されたライブラリ)
INTSOLVER (大域最適化問題を解くためのライブラリ)
SIAM 10 × {\displaystyle \times } 10-digit challenge の求解