smt-0.0.0.0: bench/Main.hs

module Main where

import Criterion.Main

main :: IO ()
main = defaultMain []