pycosat

Python bindings to picosat (a SAT solver)

homepage ↗ github: conda/pycosat

Available in

Overlay	Newest	Ebuilds	Last activity
gentoo-zh GitHub ↗	0.6.6	1	14 h	details ›

Version	Overlay	amd64	arm64	x86	riscv	Committed
0.6.6 ^≈	gentoo-zh	amd64 testing	arm64 testing	x86 testing	riscv testing	10 d	view · download · history ↗