[ bianca ]

Pacote-fonte: minisat+ (1.0-5)

Links para minisat+

Mantenedores(as):

Fontes externas:

Pagina principal [minisat.se]

Os seguintes pacotes binários são criados a partir deste pacote-fonte:

minisat+: solver for pseudo-Boolean constraints

Outros pacotes relacionados a minisat+

build-depends

build-depends-indep

adep: debhelper-compat (= 13)

Pacote não disponível
adep: libgmp-dev

Multiprecision arithmetic library developers tools
adep: zlib1g-dev

compression library - development

Download minisat+

Arquivo	Tamanho (em kB)	Soma de verificação MD5
minisat+_1.0-5.debian.tar.xz	4.3 kB	822198fb8a890c6b9a64ad20a0c4aa4c
minisat+_1.0-5.dsc	1.9 kB	904dc8f8101802956b42dda283c72e10
minisat+_1.0.orig.tar.gz	78.1 kB	a5910ef8bea269632eff74b54f07010d

Repositório-fonte de pacotes Debian (VCS: Git): https://salsa.debian.org/science-team/minisatp.git
Repositório-fonte de pacotes Debian (navegável): https://salsa.debian.org/science-team/minisatp