z3

Description:An efficient theorem prover
License: MIT
Homepage:http://z3.codeplex.com/
Location:Portage
Legend:
  • + - stable
  • ~ - unstable
  • M - hardmask
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
4.8.3-r1 diff - ~ - - - - - - - - - - ~
4.8.3 diff - ~ - - - - - - - - - - ~
4.5.0 diff - ~ - - - - - - - - - - ~
4.4.1 - ~ - - - - - - - - - - ~

USE flags

Also available in: Atom

Thank you!