ダウンロードリスト

Sponsored link

プロジェクト概要

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

システム要件

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

2011-12-19 02:17
0.09

このリリース主改善引数を解析とサポートの向上はパラメーター セットをもたらします。
This release mainly brings improved argument parsing and improved support for parameter sets.

2011-10-22 05:48
0.08

このリリースは、明示的な空間マップ、セット、およびパラメーターのセットの区別します。また、識別子および多準アフィン式について説明します。
This release makes an explicit distinction between spaces of maps, sets, and parameter sets. It also introduces identifiers and multi-quasi-affine expressions.

2011-03-19 06:04
0.06

このリリースでは、主に改良されたパーサーと一貫性を向上させるAPIにいくつかの変更を備えています。
This release mainly features an improved parser and some changes to the API that improve consistency.

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.

2010-09-11 20:44
0.04

このリリースでは、主にという名前のネストされたスペースの組合セットとマップのサポートが追加されています。
This release mainly adds support for named and nested spaces and for union sets and maps.

プロジェクトリソース