Paquet : acl2 (8.4dfsg-2) [debports]

[ Paquet source :  ]

logique calculatoire pour Applicative Common Lisp - binaire principal

ACL2 est à la fois un langage de programmation dans lequel il est possible de modeler des systèmes informatiques et un outil pour aider à prouver les propriétés de ces modèles.

Ce paquet contient le binaire ACL2 de base.

Autres paquets associés à acl2

• dep: libc6.1 (>= 2.29)

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6.1-udeb

• dep: libgmp10 (>= 2:6.2.1+dfsg)

  Bibliothèque arithmétique à multi-précision

• dep: libreadline8 (>= 6.0)

  bibliothèques GNU readline et GNU history (exécutables)

• dep: libtirpc3 (>= 1.0.2)

  bibliothèque RPC indépendante de la couche de transport

• dep: libx11-6

  bibliothèque X11 partie client

• rec: acl2-books

  logique informatique pour ACL (Applicative Common Lisp) - bibliothèques compilées

• rec: acl2-source

  logique calculatoire pour Applicative Common Lisp - fichiers sources

• sug: elpa-acl2

  logique algorithmique pour application Common Lisp - interface emacs

Télécharger acl2

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	20 868,6 ko	243 337,0 ko	[liste des fichiers]