Improve rule description
[sat-britney.git] / ControlTester.hs
index 05c04ca..359ac4c 100644 (file)
@@ -1,3 +1,8 @@
+-- |
+-- Copyright: (c) 2011 Joachim Breitner
+-- License: GPL-2
+--
+
 import qualified Data.Map as M
 import Types
 import Data.List