ダウンロードリスト

Sponsored link

プロジェクト概要

isl はセットおよび線形制約条件で囲まれた整数ポイントの関係を操作するためのライブラリです。セットでサポートされている操作ほか、交差、ユニオン、差、虚しさを確認、凸、(整数) アフィン船体、整数投影およびパラメトリック整数計画法を用いた辞書式順序最小のコンピューティングを設定します。一般化された基底縮小と目指している多面体のコンパイル依存性分析などの操作に基づいて、ILP ソルバーも含まれていますスケジューリング、および AST 世代。

システム要件

システム要件が設定されていません
プロジェクトのリリース情報やプロジェクトリソースの情報です。
注: プロジェクトリソースの情報は Freecode.com ページからの引用です。ダウンロードそのものは、OSDNにホスティングされているものではありません。

2010-12-24 08:43 リリース一覧に戻る
0.05

このリリースでは、拡張PolyLibフォーマットのサポートが追加され、他の中の依存関係の分析、バーンスタインの拡張、およびパラメトリック整数計画にマイナーな改善が含まれています。
This release adds support for the extended PolyLib format and includes minor improvements to dependency analysis, Bernstein expansion, and parametric integer programming, amongst others.

プロジェクトリソース