Package: kissat-dbgsym (4.0.2-1) [debports]

[ Source:  ]

debug symbols for kissat

Other Packages Related to kissat-dbgsym

• dep: kissat (= 4.0.2-1)

  Keep it simple and clean bare metal SAT solver

Download kissat-dbgsym

Download for all available architectures

Architecture	Package Size	Installed Size	Files
alpha (unofficial port)	1,391.0 kB	2,895.0 kB	[list of files]
hppa (unofficial port)	1,376.0 kB	2,714.0 kB	[list of files]
loong64 (unofficial port)	1,461.3 kB	15,597.0 kB	[list of files]
m68k (unofficial port)	1,289.4 kB	2,622.0 kB	[list of files]
ppc64 (unofficial port)	1,451.4 kB	3,057.0 kB	[list of files]
sh4 (unofficial port)	1,313.0 kB	2,449.0 kB	[list of files]
sparc64 (unofficial port)	1,387.7 kB	2,868.0 kB	[list of files]
x32 (unofficial port)	1,414.4 kB	1,971.0 kB	[list of files]