Versions Packages Information History Badges Report

Information for cvc4

Versions

  • 1.6.r709.g219bc5991
  • 1.8 (5)
  • 1.7 (3)
  • 1.6 (3)
  • 1.5 (2)
  • 1.4 (3)

Package names

  • academic/cvc4
  • cvc4 (5)
  • cvc4-git
  • math/cvc4
  • sci-mathematics/cvc4

Repositories

Categories

  • Unspecified
  • academic
  • math (2)
  • misc
  • sci-mathematics
  • universe/misc

Licenses

  • BSD (2)
  • Boost and BSD and MIT
  • GPL
  • GPL-2
  • GPL-3.0
  • GPL-3.0-only
  • GPLv3+
  • MIT
  • custom:HPND