Package: picosat (965-2 and others)

[ Source: picosat  ]

증명과 코어 지원을 포함하는 SAT 솔버

부울 공식 (SAT)의 만족도 문제에 대한 NP 완전성에도 불구하고, SAT 솔버는 자주 합리적인 시간 프레임 내에서 이 문제를 결정할 수 있습니다. 다른 모든 NP 전체 문제가 SAT로 축소 될 수 있기 때문에, 솔버는 이 문제 클래스를 위한 범용 도구가 되었습니다.

PicoSAT는 산업용 인스턴스에서 MiniSAT 2.0보다 속도가 더 빠르다고 판명된 SAT 솔버이며, 또한 증명 및 코어를 메모리에 생성할 수 있습니다.

Tags: Field: Mathematics, Implemented in: C, Role: Program

Other Packages Related to picosat

• dep: libc6 (>= 2.16) [x32]

  GNU C 라이브러리: 공유 라이브러리
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.17) [arm64, ppc64el]

  dep: libc6 (>= 2.31) [sh4]

  dep: libc6 (>= 2.34) [riscv64]

  dep: libc6 (>= 2.7) [not alpha, arm64, ia64, ppc64el, riscv64, sh4, x32]

• dep: libc6.1 (>= 2.31) [ia64]

  GNU C 라이브러리: 공유 라이브러리
  also a virtual package provided by libc6.1-udeb

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

Download picosat

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	965-2	98.0 kB	1,115.0 kB	[list of files]
amd64	965-2	92.3 kB	879.0 kB	[list of files]
arm64	965-2	84.2 kB	895.0 kB	[list of files]
armel	965-2	84.9 kB	794.0 kB	[list of files]
armhf	965-2	83.4 kB	620.0 kB	[list of files]
hppa (unofficial port)	965-2	115.1 kB	873.0 kB	[list of files]
i386	965-2	96.5 kB	866.0 kB	[list of files]
ia64 (unofficial port)	965-2	108.4 kB	1,599.0 kB	[list of files]
m68k (unofficial port)	965-2	85.3 kB	780.0 kB	[list of files]
mips64el	965-2	96.0 kB	1,060.0 kB	[list of files]
ppc64 (unofficial port)	965-2	100.3 kB	1,463.0 kB	[list of files]
ppc64el	965-2	100.9 kB	1,261.0 kB	[list of files]
riscv64	965-2+b1	163.8 kB	2,565.0 kB	[list of files]
s390x	965-2	86.1 kB	893.0 kB	[list of files]
sh4 (unofficial port)	965-2	91.2 kB	692.0 kB	[list of files]
sparc64 (unofficial port)	965-2	88.0 kB	1,006.0 kB	[list of files]
x32 (unofficial port)	965-2	91.8 kB	812.0 kB	[list of files]