gentoo.LinuxHowtos.org

Details of sci-mathematics/cadical:

Description: Simplified Satisfiability Solver
Homepage: http://fmv.jku.at/cadical/ https://github.com/arminbiere/cadical/

available versions:

releasesalphaamd64armhppaia64mipsppcppc64ppc macoss390shsparcx86USE-Flagsdependenciesebuild warnings
cadical-2.0.0 -------------none
show
show
cadical-1.9.5 -------------none
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