Package: picosat-dbgsym (965-2 and others) [debports]

Links for picosat-dbgsym

Not found

dep: picosat (= 965-2) [not riscv64]

SAT solver with proof and core support

dep: picosat (= 965-2+b1) [riscv64]

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	965-2	363.7 kB	544.0 kB	[list of files]
hppa (unofficial port)	965-2	357.4 kB	529.0 kB	[list of files]
ia64 (unofficial port)	965-2	454.2 kB	664.0 kB	[list of files]
m68k (unofficial port)	965-2	408.4 kB	478.0 kB	[list of files]
ppc64 (unofficial port)	965-2	389.6 kB	586.0 kB	[list of files]
riscv64 (unofficial port)	965-2+b1	358.6 kB	542.0 kB	[list of files]
sh4 (unofficial port)	965-2	428.1 kB	544.0 kB	[list of files]
sparc64 (unofficial port)	965-2	439.8 kB	534.0 kB	[list of files]
x32 (unofficial port)	965-2	353.5 kB	514.0 kB	[list of files]