rewriting-0.2: examples/logic/LogicGenerator.hs

module LogicGenerator () where

import Control.Monad
import Data.Char
import System.Random
import Test.QuickCheck hiding (defaultConfig)

import Logic