Package Descriptions for Ubuntu

Browsing French translation

  1. Series raring
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
Don't show this notice anymore
Before translating, be sure to go through Ubuntu Translators instructions and French guidelines.
24627 → 24636 of 76009 results First • • • Last
24627.
This package contains the files necessary for running applications that use the CVC3 library.
 
Description
Ce paquet contient les fichiers nécessaires pour exécuter des applications qui utilisent la bibliothèque CVC3.
Translated by Pierre Slamich
Reviewed by Sylvie Gallet
Located in Package: libcvc3-5v5
24628.
Java bindings for CVC3 (bytecode library)
 
Summary
Liaisons Java pour CVC3 (bibliothèque bytecode)
Translated by Pierre Slamich
Reviewed by Sylvie Gallet
Located in Package: libcvc3-5-java
24629.
This package provides architecture-independent files of the Java bindings for CVC3
 
Description
(no translation yet)
Located in Package: libcvc3-5-java
24630.
Java bindings for CVC3 (native library)
 
Summary
Liaisons Java pour CVC3 (bibliothèque native)
Translated by Pierre Slamich
Reviewed by Sylvie Gallet
Located in Package: libcvc3-5-jni
24631.
* several built-in base theories: rational and integer linear
arithmetic, arrays, tuples, records, inductive data types, bit
vectors, and equality over uninterpreted function symbols;
* support for quantifiers;
* an interactive text-based interface;
* rich C, C++, and Java APIs for embedding in other systems;
* proof and model generation abilities;
* predicate subtyping;
* essentially no limit on its use for research or commercial
purposes (see license).
 
Description
There are line breaks here. Each one represents a line break. Start a new line in the equivalent position in the translation.
There are leading/trailing spaces here. Each one represents a space character. Enter a space in the equivalent position in the translation.
(no translation yet)
Located in Package: libcvc3-5-jni Package: libcvc3-5-java Package: cvc3-el Package: cvc3
24632.
This package provides the native library needed for the Java bindings for CVC3
 
Description
Ce paquet fournit la bibliothèque native nécessaire pour les liaisons Java pour CVC3
Translated by Pierre Slamich
Reviewed by Sylvie Gallet
Located in Package: libcvc3-5-jni
24633.
Automatic theorem prover library for SMT problems (development files)
 
Summary
(no translation yet)
Located in Package: libcvc3-dev
24634.
CVC3 is an automatic theorem prover for Satisfiability Modulo Theories (SMT) problems. It can be used to prove the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination.
 
Description
CVC3 est un démonstrateur automatique de théorèmes pour des problèmes de SMT (satisfiabilité modulo des théories). Il peut être utilisé pour démontrer la validité (ou, doublement, la satisfaisabilité) de formulations du premier ordre dans un grand nombre de théories logiques intégrées et leurs combinaisons.
Translated by Michael Vogt
Located in Package: libcvc3-dev Package: libcvc3-5v5 Package: libcvc3-5-jni Package: libcvc3-5-java Package: cvc3-el Package: cvc3
24635.
CVC3 is the last offspring of a series of popular SMT provers, which originated at Stanford University with the SVC system. In particular, it builds on the code base of CVC Lite, its most recent predecessor. Its high level design follows that of the Sammy prover.
 
Description
CVC3 est la dernière mouture d’une série de démonstrateurs SMT populaires, émanant de l’université de Stanford et son système SVC (Stanford Validity Checker). En particulier, elle s’appuie sur la base de code de CVC Lite, son plus récent prédécesseur. Sa conception de haut niveau suit celle du démonstrateur Sammy.
Translated by Michael Vogt
Located in Package: libcvc3-dev Package: libcvc3-5v5 Package: libcvc3-5-jni Package: libcvc3-5-java Package: cvc3-el Package: cvc3
24636.
CVC3 works with a version of first-order logic with polymorphic types and has a wide variety of features including:
 
Description
CVC3 fonctionne avec une version de logique du premier ordre avec des types polymorphes et possède un large éventail de fonctions, dont[nbsp]:
Translated by Michael Vogt
Located in Package: libcvc3-dev Package: libcvc3-5v5 Package: libcvc3-5-jni Package: libcvc3-5-java Package: cvc3-el Package: cvc3
24627 → 24636 of 76009 results First • • • Last

This translation is managed by Ubuntu French Translators, assigned by Ubuntu Translators.

You are not logged in. Please log in to work on translations.

Contributors to this translation: 4E4F, AUGUSTIN BRONDINO, Abdoulaye, Alban CLERGEOT, Alban V, Alexandre, Alexandre Croteau, Alexandre Franke, Anne017, Anthony Noël, Apophis666, Aquilon, ArnaultVandeveld, Arnold Couchard, Arthur Sauvage, Arzach, Ash26, Aurélien RIVIERE, Aurélien Ribeiro, Babey, Baptiste, Baptiste Fontaine, Benitron, Berenger Okei, Bernos Guillaume, Bertrand Croq, Beuss, Bi30, Blackestmajor, Bonsoir, Borni DHIFI, Bristow, Bruno, Bruno, Bruno Avet, Cajuteq, Carcasse, CedS, Christophe Eschbach, Citron28, Clarence Snickers, ClemZ, CoudCoud, Damien H, DarkVodKa, David ., David Futcher, David Nottin, David Racine, Eglantine Schmitt, Emmanuel Gil Peyrot, Enrico Rosina, Ersplus, Flo Rahl, Florent (LSc), Florian-delaroche, FreddyONe73, GIRONE Remi, Geoffrey, Glyca, Goshu, GuiMol, Guillaume, Gwab, Havok Novak, Indhi Rousseau, Ir0nsh007er, J&V Georges, Jean-Christophe, Jean-Marc, Jerod212, Joachim R., Jonas Rockenbauer, Jonathan Pasquier, Julien, Julien Henry, Julien Humbert, Julien Rouvier, JurisZombie, Kafi, Kolibry, Ktux, Laurent N, Laurent Thibaud, Le Bourhis Mikaël, Lentdormi, Lola Farret, Louis Dubois, Louis Moureaux, Lucas Bayol, Maeda, Marot Célestin, Mathieu Disy, Max, Maxim Lopez, Michael Vogt, MilkaJinka, Moneron Xavier, NSV, NaSH, Nguyen Jérémy, Nicolas Delvaux, Nicolas Robin, Nissar Chababy, NoZ, OUBRAIM Rachid, Olivier, Olivier Copetto, Olivier FAYOLLE, Olivier Febwin, OlivierT, PEIGNOT Kévin, Paer, Paquelier Alain, Pascal Maugendre, Paul Forget, Paulvirtuel, Philip Millan, Philippe, Pier-Luc Ducharme, Pierre Scacchi, Pierre Slamich, Pierre-Alexandre Racine, Pierre-Alexis, Pierrick Vandenbroucke, Pique, Plank, Quentin Dorveaux, Quentin Santander, Ralphi2811, Remiweb, Removed by request, Robin Dumont-Chaponet, Romain, Romain DEJEAN, Roms, Rémi Berthoz, Rémi Larrouquis, Salvato-Vallverdu, SarahSlean, Seb24, Serge Pilon, Simon, Simon THOBY, St3ph, Stanislas Michalak, Steve Langasek, Stéphane Maniaci, Stéphane V, Sydney, Sylvhem, Sylvie Gallet, Tarek, Teo Tedoldi, Teromene, Thibault Févry, Thomas, Thomas Quaglio, Thomas.M, Titanet, Toxxic Zad, Tubuntu, Valentin Lorentz, William, Xavier, YannUbuntu, Yayel, Yohann, Youcef PhnixLord, Yvan Arnaud, Yvance77, _Syzygy_, antoine, arkan, axelle oxford, baj, bameylan, blackorpheus, bloch, bpascal123, clappier, clement62910, cocof35, constantin, didier Belot, dom, dpl29, electroluth, elyr, enebre, fabkzo, flobe, fredb59, fredurb1, gerard, gfds, gisele perreault, grosvalpin, hamelin, hucste, idon'thaveaname, jdt37b, jean-bernard marcon, jlla, jplemoine, judejude, kidpaddle, kleiber, kura, lann, ldmpub, le_youki, lebendre, ljere, londumas, louis1806, mart3300, michel_95, moberch, mothsArt, oswald_volant, parislanuit, pythaboc, royto, samuel poette, seb35690, shunesburg69, slurbe, stagelll, sylvain, thenasa, tiritchi, titouan le folgoc, vmerlet, yasmine, yeassay, ymadec, yohann, Łukasz Zemczak.