packages-i18n/z master — French @ openSUSE Weblate: Python bindings for the Z3 library.

Translation

English leap/z3/python3-z3/description

French

Needs editing

Skip

	English	French	Actions
	zn_poly is a C library for polynomial arithmetic in Z/nZ[x], where n is any modulus that fits into an unsigned long.	zn_poly est une librairie C pour l'arithmétique polynomiale dans Z/nZ[x], où n est n'importe quel module qui rentre dans un entier non signé.
	Header files for libzopfli, a gzip-compatible compressor	Fichiers d'en-tête pour libzopfli, un compresseur compatible gzip
	The basic function to compress data is ZopfliCompress in zopfli.h. Use the ZopfliOptions object to set parameters that affect the speed and compression. Use the ZopfliInitOptions function to place the default values in the ZopfliOptions first.
	Deflate/zlib compatible compression library	Programme de compression de fichiers
	Zopfli Compression Algorithm is a compression library programmed in C to perform very good, but slow, deflate or zlib compression.
	This package contain the libzopflipng PNG optimizer library.	libsmi a pour but d'offrir aux applications de gestion une interface compacte et conviviale pour l'accès aux informations du module MIB. de séparer les connaissances SMI des applications. de permettre d'ajouter d'autres types d'archives MIB sans devoir adapter les applications.
	Development files for the Zstd compression library	Package de développement pour la librairie libsndfile
	Zstd, short for Zstandard, is a lossless compression algorithm, targeting faster compression than zlib at comparable ratios. Needed for compiling programs that link with the library.
	Zstd compression library	Programme de compression de fichiers
	Zstd, short for Zstandard, is a lossless compression algorithm, targeting faster compression than zlib at comparable ratios. This subpackage contains the implementation as a shared library.
	VBI Decoding Library	Utilitaire pour caméra digitale
	VBI stands for Vertical Blanking Interval, a gap between the image data transmitted in an analog video signal. This gap is used to transmit AM modulated data for various data services like Teletext and Closed Caption. The zvbi library provides routines to read from raw VBI sampling devices, to demodulate raw to sliced VBI data, and to interpret the data of several popular services.
	ZIP compression library	Programme de compression de fichiers
	ZZipLib is a library for dealing with ZIP and ZIP-like archives by using algorithms of zlib.
	Python bindings for Z3	Extensions Python pour GNOME
	Python bindings for the Z3 library.	Environnement de bureau KDE pour serveur
	Helper that makes writing ZYpp plugins easier
	This API allows writing ZYpp plugins by just subclassing from a python class and implementing the commands you want to respond to as python methods.
	Frontend for compressing and uncompressing
	Z is a frontend for the compress/uncompress, gzip, bzip2, tar, and zip/unzip utilities to compress and uncompress files and directories.
	Theorem prover from Microsoft Research
	Z3 is a Satisfiability Modulo Theories (SMT) solver and integrates several decision procedures: Linear real and integer arithmetic, fixed-size bit vectors, uninterpreted functions, extensional arrays, quantifiers and model generation.
	Development files for Z3	Pour le développement de libghttp
	Development files for the Z3 library.	Fichiers de développement pour lzo
	Local resource monitor agent for Zabbix
	The Zabbix agent monitors local resources and relays information to the server.
	Zabbix Java gateway
	JMX monitoring can be used to monitor JMX counters of a Java application. To retrieve the value of a particular JMX counter on a host, the Zabbix server queries the Zabbix Java gateway, which in turn uses the JMX management API to query the application of interest remotely.
	Zabbix web frontend (php)
	The Zabbix PHP frontend allows access via standard web browsers. NOTE: You still have to install the PHP package which contains your db driver!
	System files for the Zabbix proxy	Fichiers de développement pour lzo

Loading…

No matching activity found.

Browse all string changes

Things to check

Mismatched full stop

Source and translation do not both end with a full stop

Reset

Glossary

English	French
bindings	attaches	packages-i18n

String information

Source string description

leap/z3/python3-z3/description

String age

7 years ago

Last updated

2 weeks ago

Source string age

7 years ago

Translation file

fr/po/z.fr.po, string 51