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

パッケージ: acl2-infix (3.1-1)

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

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

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

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

  • 依存
  • 推奨
  • 提案
  • dep: acl2 (= 3.1-1)
    Applicative Common Lisp 用計算論理: メインバイナリ
  • dep: tetex-extra
    Additional TeX input files of teTeX
  • rec: acl2-infix-source (= 3.1-1)
    Applicative Common Lisp 用計算論理: infix ソース

acl2-infix のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ パッケージサイズ インストールサイズ ファイル
alpha 251.2 kB1316 kB [ファイル一覧]
amd64 194.0 kB1056 kB [ファイル一覧]
arm 185.7 kB544 kB [ファイル一覧]
hppa 408.1 kB2016 kB [ファイル一覧]
i386 167.8 kB624 kB [ファイル一覧]
ia64 297.1 kB1516 kB [ファイル一覧]
mips 197.3 kB704 kB [ファイル一覧]
mipsel 192.2 kB704 kB [ファイル一覧]
powerpc 243.0 kB876 kB [ファイル一覧]
s390 162.4 kB548 kB [ファイル一覧]
sparc 217.6 kB768 kB [ファイル一覧]