[  sarge  ] [  etch  ] [  etch-m68k  ] [  lenny  ] [  sid  ]
[ ソース: acl2  ]

パッケージ: acl2-infix (3.4-1 など)

Applicative Common Lisp 用の計算論理: 中置表記インターフェイス

ACL2 はコンピュータシステムのモデル化を行なえるプログラミング言語で あり、かつそのモデルの特性実験を補助してくれるツールでもあります。

本パッケージには多くの非 lisp プログラミング言語で用いられているのと同様の 中置表記法により ACL2 にアクセスするためのユーティリティとライブラリが 含まれます。

タグ: ソフトウェア開発: インタプリタ, Lisp での開発, ライブラリ, 分野: 数学, 実装言語: Lisp, 役割: アプリケーションデータ, 取り扱い対象: ソースコード

その他の acl2-infix 関連パッケージ

  • 依存
  • 推奨
  • 提案
  • dep: acl2 (= 3.1-1) [hppa, m68k]
    Applicative Common Lisp 用計算論理: メインバイナリ
    dep: acl2 (= 3.3-1) [ia64]
    dep: acl2 (= 3.3-1.1) [sparc]
    dep: acl2 (= 3.4-1) [hppa, ia64, m68k, sparc 以外]
  • dep: tetex-extra [hppa, m68k]
    TeX Live: teTeX transitional package
  • dep: texlive-latex-recommended [hppa, m68k 以外]
    TeX Live: LaTeX recommended packages

acl2-infix のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ バージョン パッケージサイズ インストールサイズ ファイル
alpha 3.4-1 484.7 kB2276 kB [ファイル一覧]
amd64 3.4-1 431.7 kB2036 kB [ファイル一覧]
arm 3.4-1 379.5 kB1080 kB [ファイル一覧]
armel 3.4-1 387.9 kB1108 kB [ファイル一覧]
hppa 3.1-1 408.1 kB2016 kB [ファイル一覧]
i386 3.4-1 390.1 kB1180 kB [ファイル一覧]
ia64 3.3-1 294.5 kB1496 kB [ファイル一覧]
m68k 3.1-1 191.1 kB772 kB [ファイル一覧]
mips 3.4-1 437.9 kB1260 kB [ファイル一覧]
mipsel 3.4-1 409.2 kB1260 kB [ファイル一覧]
powerpc 3.4-1 504.3 kB1424 kB [ファイル一覧]
s390 3.4-1 451.4 kB1304 kB [ファイル一覧]
sparc 3.3-1.1 210.6 kB752 kB [ファイル一覧]