module Main where

import           VeriSmith

main :: IO ()
main = defaultMain