Statut : 1-À faire1
alt-ergo.desktop possède 0/32 éléments traduits et son contenu est traduit3 à 0%
Adresses du projet : homepage bugtracker
Chaînes
| Champ | Anglais | Français |
|---|---|---|
| name | Alt-Ergo | |
| summary | Automated theorem prover including linear arithmetic | |
| description | Alt-Ergo is an automated theorem prover implemented in OCaml. It is based on CC(X) - a congruence closure algorithm parameterized by an equational theory X. This algorithm is reminiscent of the Shostak algorithm. Currently CC(X) is instantiated by the theory of linear arithmetics.Alt-Ergo also contains a home made SAT-solver and an instantiation mechanism by which it fully supports quantifiers. |
Téléchargement du fichier XML source4 : alt-ergo.desktop
-
déduit sommairement des traductions en cours, avec une priorité pour un logiciel traduit à plus de 80%. ↩
-
on ne s'intérresse ici qu'au nom, au sous-titre et à la description. ↩
-
basé sur appstream glib qui indique dans son fichier as-translation n'inclure que les fichiers gettext et QT. ↩
-
il s'agit d'un extrait de https://alt.fedoraproject.org/pub/alt/screenshots/f24/ ! ↩