module Main (main) where

import Logging
import FSM
import CR
import Syntax 
import KnowledgeBase
import CopFSM
import Graph

import CopStrategy    ( copName, copCRState )

-- try the random strategy
-- import CopRandomStrategy (copName, copCRState)


main :: IO ()
main = do 
    initLogging Debug (Filename "cop.log") -- $ "/tmp/"++copName++".log")
    flip runCR copCRState $ do
        initState <- mkStateInitial copName
        runFSM initState