#ghci LogicTesting.hs LogicStrategies.hs LogicRules.hs LogicGenerator.hs Logic.hs -i ../../src/*
ghci LogicRules.hs LogicTesting.hs LogicStrategies.hs LogicRules.hs LogicGenerator.hs Logic.hs -i ../../src/*