[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

[ Paquet source : ]

Paquet : minisat2 (1:2.2.1-5 et autres) [debports]

Liens pour minisat2

Ressources Debian :

Rapports de bogues

Télécharger le paquet source :

Introuvable

Responsables :

Ressources externes :

Page d'accueil [minisat.se]

Paquets similaires :

paquet de transition pour minisat

Il s’agit d’un paquet de transition pour minisat, pouvant être supprimé sans danger après la fin de l’installation.

Paquets fournissant minisat2

minisat: solveur SAT rapide et léger

Autres paquets associés à minisat2

dépendances

recommandations

suggestions

enhances

dep: minisat

solveur SAT rapide et léger

Télécharger minisat2

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
riscv64 (portage non officiel)	1:2.2.1-5+b1	4,4 ko	12,0 ko	[liste des fichiers]