[  etiona  ] [  nabia  ] [  aramo  ]

[ Quellcode: minisat2  ]

Links für minisat2

Trisquel-Ressourcen:

• Install using apturl
• Entry at directory.fsf.org
• Fehlerberichte
• Changelog
• Copyright-Datei

Quellcode-Paket minisat2 herunterladen:

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

Betreuer:

• Ubuntu Developers (E-Mail-Archiv)

Original Maintainer:

• Michael Tautschnig

Externe Ressourcen:

• Homepage [minisat.se]

Ähnliche Pakete:

• 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

Andere Pakete mit Bezug zu minisat2

hängt ab von

empfiehlt

schlägt vor

• dep: minisat

  Fast and lightweight SAT solver

minisat2 herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
amd64	2,0 kB	12 kB	[Liste der Dateien]
i386	2,0 kB	12 kB	[Liste der Dateien]