Packages

Get Gentoo!

gentoo.org sites

gentoo.org Wiki Bugs Forums Packages

Planet Archives Sources

Home
Packages
Maintainers
USE flags
Architectures
About

sci-mathematics/
picosat

SAT solver with proof and core support

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

Overview Dependencies QA report Pull requests 0 Bugs 3 Security 0 Changelog

Dependencies Reverse-Dependencies

965

Description

The dependencies are regularly computed based on the qa-reports.

© 2001–2024 Gentoo Authors
Gentoo is a trademark of the Gentoo Foundation, Inc. and of Förderverein Gentoo e.V. The contents of this document, unless otherwise expressly stated, are licensed under the CC-BY-SA-4.0 license. The Gentoo Name and Logo Usage Guidelines apply.

Contact
v1.0.3