[  etiona  ] [  nabia  ] [  aramo  ]

[ Källkod: minisat2  ]

Länkar för minisat2

Trisquelresurser:

• Install using apturl
• Entry at directory.fsf.org
• Felrapporter
• Changelog
• Upphovsrättsfil

Hämta källkodspaketet minisat2:

• [minisat2_2.2.1-5build1.dsc]
• [minisat2_2.2.1.orig.tar.gz]
• [minisat2_2.2.1-5build1.debian.tar.xz]

Ansvarig:

• Ubuntu Developers (E-postarkiv)

Original Maintainer:

• Michael Tautschnig

Externa resurser:

• Hemsida [minisat.se]

Liknande paket:

• lunch
• libdmtx-utils
• libapache2-mod-md
• libapache2-mod-proxy-uwsgi
• luasseq
• prosper
• texlive-omega
• texlive-generic-extra
• texlive-generic-recommended
• texlive-lang-african
• texlive-lang-indic

Andra paket besläktade med minisat2

beror

rekommenderar

föreslår

• dep: minisat

  Fast and lightweight SAT solver

Hämta minisat2

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Paketstorlek	Installerad storlek	Filer
amd64	2,0 kbyte	12 kbyte	[filförteckning]
i386	2,0 kbyte	12 kbyte	[filförteckning]