minisat

Описание:Small yet efficient SAT solver with reference paper
Лицензия: MIT
Домашняя страница:http://minisat.se/Main.html https://github.com/stp/minisat/
Расположение:Portage
Легенда:
  • + - стабильный
  • ~ - нестабильный
  • M - замаскированный
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
2.2.1-r1 - ~ - - - - - - - - - - ~

USE флаги

  • doc - Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally

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

Спасибо!