moonlight-core-0.1.0.0: test/solver/Main.hs

module Main where

import qualified SolverTests
import Test.Tasty (defaultMain)

main :: IO ()
main =
  defaultMain SolverTests.tests