text: __all__ = [
      "__title__", "__summary__", "__uri__", "__version__"
  ]
  
  __title__ = "SLiVER"
  __summary__ = "The SLiVER LAbS VERification tool"
  __uri__ = "https://github.com/labs-lang/sliver"
  
  __version__ = "2.1"
  __date__ = "November 2021"
  