cryptominisat

Описание:Advanced SAT solver with C++ and command-line interfaces
Домашняя страница:https://github.com/msoos/cryptominisat/
Расположение:Portage
Легенда:
  • + - стабильный
  • ~ - нестабильный
  • M - замаскированный
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 флаги

Экспортировать в Atom

Спасибо!