プロジェクトの説明

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

(このプロジェクト概要は機械翻訳されたものです) 翻訳してみる 原文を表示する

レビュー
あなたの評価
レビューする