cryptominisat

Description:Advanced SAT solver with C++ and command-line interfaces
Homepage:https://github.com/msoos/cryptominisat/
Location:Portage
Legend:
  • + - stable
  • ~ - unstable
  • M - hardmask
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
5.11.14 diff - ~ - - - - - - - - - - ~
5.11.12 diff - ~ - - - - - - - - - - ~
5.11.11 - ~ - - - - - - - - - - ~

USE flags

Also available in: Atom

Thank you!