QA: other
One or more CMake variables were not used by the project:
  NOM4RI
QA Notice: Package triggers severe warnings which indicate that it
           may exhibit random runtime failures.
/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/solvertypesmini.h:67:16: warning: potential null pointer dereference [-Wnull-dereference]
Please do not file a Gentoo bug and instead report the above QA
issues directly to the upstream developers of this software.
Homepage: https://github.com/msoos/cryptominisat/