Exclude test and benchmark dependencies

Licenses for SmtLib

Return to license list

License Packages
BSD-3-Clause
  • base
  • ghc-prim
  • mtl
  • parsec
  • transformers
MIT
  • SmtLib