[ stretch ]
[ sid ]
[ Paquet source : yap ]
Paquet : yap (6.2.2-6 et autres)
Liens pour yap
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source yap :
Responsable :
Ressources externes :
- Page d'accueil [www.dcc.fc.up.pt]
Paquets similaires :
système Prolog de haute performance
Il s’agit d’un compilateur haute performance pour Prolog, développé à LIACC, Université de Porto et à COPPE Sistemas, UFRJ. Le moteur Prolog de YAP est basé sur la « Machine abstraite de Warren », avec plusieurs optimisations pour améliorer la performance. YAP suit le standard d’Édimbourg et est largement compatible avec le standard ISO-Prolog et avec Quintus Prolog et SICStus Prolog.
YAP fournit un solveur de contraintes sur les nombres réels et prend en charge le langage de programmation par contraintes CHR (Constraint Handling Rules).
Autres paquets associés à yap
|
|
|
|
-
- dep: libc6 (>= 2.23)
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
-
- dep: libgcc1 (>= 1:3.0)
- bibliothèque de prise en charge de GCC
-
- dep: libgmp10
- Bibliothèque arithmétique à multi-précision
-
- dep: libncurses5 (>= 6)
- Bibliothèques partagées pour l'utilisation d'un terminal
-
- dep: libreadline7 (>= 6.0)
- bibliothèques GNU readline et GNU history (exécutables)
-
- dep: libstdc++6 (>= 5)
- bibliothèque standard C++ de GNU v3
-
- dep: libtinfo5 (>= 6)
- bibliothèque partagée terminfo de bas niveau pour manipuler le terminal
-
- dep: zlib1g (>= 1:1.1.4)
- Bibliothèque de compression - binaires
Télécharger yap
| Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|---|
| i386 | 6.2.2-6+b2 | 2 577,9 ko | 14 444,0 ko | [liste des fichiers] |