-- Do not edit! Automatically created with doctest-extract.
module Main where

import qualified Test.UniqueLogic
import qualified Test.LinearAlgebra

import qualified Test.DocTest.Driver as DocTest

main :: IO ()
main = DocTest.run $ do
    Test.UniqueLogic.test
    Test.LinearAlgebra.test