module ISR22CPR where
-- mention all modules that we want to use in examples
-- and for which we want `stack haddock` to build documentation
import Data.Array
import Ersatz
import SimpleSMT