minisat

Description:Small yet efficient SAT solver with reference paper
License: MIT
Homepage:http://minisat.se/Main.html https://github.com/stp/minisat/
Location:Portage
Legend:
  • + - stable
  • ~ - unstable
  • M - hardmask
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
2.2.1-r1 - ~ - - - - - - - - - - ~

USE flags

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

Also available in: Atom

Thank you!