gentoo.LinuxHowtos.org

Details of sci-mathematics/minisat:

Description: Small yet efficient SAT solver with reference paper
Homepage: http://minisat.se/Main.html https://github.com/stp/minisat/

available versions:

releasesalphaamd64armhppaia64mipsppcppc64ppc macoss390shsparcx86USE-Flagsdependenciesebuild warnings
minisat-2.2.1-r1 -~----------~doc
show
show
Legend:
+ stable
~ testing
- not available
some ebuild warning depend on specific use-flags or architectures, all ebuild-warnings are shown.

Tutorials:
no tutorial found


back