Gentoo Portage Overlays - sci-mathematics/picosat

Newest News Repository news GLSAs Browse USE Flags Overlays More...

sci-mathematics/picosat

SAT solver with proof and core support

Screenshots

http://fmv.jku.at/picosat/

picosat-965

amd64 ~x86

View

Download

Browse License: MIT

Overlay: gentoo

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

USE Flags