Paket: kissat (4.0.1-3)

[ Quellcode: kissat  ]

Keep it simple and clean bare metal SAT solver

Kissat is a "keep it simple and clean bare metal SAT solver" written in C. It is a port of CaDiCaL back to C with improved data structures, better scheduling of inprocessing and optimized algorithms and implementation.

This package contains binaries needed to use Kissat as a stand-alone tool.

Andere Pakete mit Bezug zu kissat

• dep: libc6 (>= 2.34) [nicht alpha, sh4]

  GNU-C-Bibliothek: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

  dep: libc6 (>= 2.40) [sh4]

• dep: libc6.1 (>= 2.34) [alpha]

  GNU-C-Bibliothek: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc6.1-udeb

• sug: bzip2

  Hochwertiger, Blöcke sortierender Dateikomprimierer - Dienstprogramme

• sug: gzip (>= 1)

  GNU-Werkzeuge zur Dateikomprimierung

• sug: p7zip

  Übergangspaket
  auch ein virtuelles Paket, bereitgestellt durch 7zip

• sug: xz-utils

  Komprimierwerkzeuge für das XZ-Format

kissat herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
alpha (inoffizielle Portierung)	316,2 kB	1.107,0 kB	[Liste der Dateien]
amd64	349,1 kB	967,0 kB	[Liste der Dateien]
arm64	307,5 kB	916,0 kB	[Liste der Dateien]
armel	328,8 kB	963,0 kB	[Liste der Dateien]
armhf	330,8 kB	727,0 kB	[Liste der Dateien]
hppa (inoffizielle Portierung)	332,2 kB	935,0 kB	[Liste der Dateien]
i386	355,9 kB	1.062,0 kB	[Liste der Dateien]
m68k (inoffizielle Portierung)	318,0 kB	962,0 kB	[Liste der Dateien]
mips64el	301,7 kB	1.001,0 kB	[Liste der Dateien]
ppc64 (inoffizielle Portierung)	340,2 kB	1.172,0 kB	[Liste der Dateien]
ppc64el	339,0 kB	1.108,0 kB	[Liste der Dateien]
riscv64	351,7 kB	807,0 kB	[Liste der Dateien]
s390x	339,3 kB	936,0 kB	[Liste der Dateien]
sh4 (inoffizielle Portierung)	413,4 kB	850,0 kB	[Liste der Dateien]
sparc64 (inoffizielle Portierung)	301,4 kB	1.044,0 kB	[Liste der Dateien]
x32 (inoffizielle Portierung)	351,4 kB	934,0 kB	[Liste der Dateien]