Package: kissat (4.0.3-2 and others)

[ Source: kissat  ]

Hold det simpelt og pænt - bare metal SAT-løser

Kissat er en »hold det simpelt og bare metal SAT-løser« skrevet i C. Det er en omkodning af CaDiCal tilbage til C med forbedrede datastrukturer, bedre planlægning af indvendig behandling og optimerede algoritmer og implementering.

Denne pakke indeholder binære filer krævet for at bruge Kissat som et uafhængigt værktøj.

Other Packages Related to kissat

• dep: libc6 (>= 2.38)

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6-udeb

• sug: 7zip

  7-Zip-filarkivprogram med høj kompression

• sug: bzip2

  Højkvalitets bloksorterende filkomprimering - værktøjer

• sug: gzip (>= 1)

  GNU's komprimeringsværktøj

• sug: xz-utils

  Kompressionsredskaber for XZ-formatet

Download kissat

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
amd64	4.0.3-2	388.2 kB	1,095.0 kB	[list of files]
arm64	4.0.3-2+b1	323.9 kB	981.0 kB	[list of files]
armhf	4.0.3-2	344.4 kB	787.0 kB	[list of files]
i386	4.0.3-2	374.5 kB	1,138.0 kB	[list of files]
ppc64el	4.0.3-2	361.8 kB	1,172.0 kB	[list of files]
riscv64	4.0.3-2	368.6 kB	839.0 kB	[list of files]
s390x	4.0.3-2	352.6 kB	984.0 kB	[list of files]