sci-mathematics/

z3

Dependencies Reverse-Dependencies

• 4.13.3

  Version	RDEPEND	DEPEND	BDEPEND	IDEPEND	PDEPEND
  app-alternatives/ninja
  app-text/doxygen
  dev-build/cmake
  dev-java/java-config
  dev-lang/python
  dev-libs/gmp
  virtual/jdk

• 4.13.2

  Version	RDEPEND	DEPEND	BDEPEND	IDEPEND	PDEPEND
  app-alternatives/ninja
  app-text/doxygen
  dev-build/cmake
  dev-java/java-config
  dev-lang/python
  dev-libs/gmp
  virtual/jdk

• 4.13.0

  Version	RDEPEND	DEPEND	BDEPEND	IDEPEND	PDEPEND
  app-alternatives/ninja
  app-text/doxygen
  dev-build/cmake
  dev-java/java-config
  dev-lang/python
  dev-libs/gmp
  virtual/jdk