picosat

SAT solver with proof and core support

Available in

Overlay	Newest	Ebuilds	Last activity
gentoo gitweb ↗	965	1	13 h	details ›

Version	Overlay	amd64	x86	Committed
965	gentoo	amd64 stable	x86 testing	—	view · download · history ↗