Improve rule description
-rw-r--r-- 5 .gitignore
-rw-r--r-- 3279 ArchMap.hs
-rw-r--r-- 1225 Arches.hs
-rw-r--r-- 3654 AtomIndex.hs
-rw-r--r-- 3273 ClauseSat.hs
-rw-r--r-- 2273 ControlParser.hs
-rw-r--r-- 530 ControlTester.hs
drwxr-xr-x - Data
-rw-r--r-- 2598 DebCheck.hs
-rw-r--r-- 1554 DebVersionCmp.hs
-rw-r--r-- 16547 DepRules.hs
-rw-r--r-- 1404 Difference.hs
-rw-r--r-- 896 Heidi.hs
-rw-r--r-- 2280 Hints.hs
-rw-r--r-- 3496 IndexMap.hs
-rw-r--r-- 3544 IndexSet.hs
-rw-r--r-- 226 Indices.hs
-rw-r--r-- 18092 LICENSE.txt
-rw-r--r-- 298 LitSat.hs
-rw-r--r-- 19108 Main.hs
-rw-r--r-- 6038 ParseHints.hs
-rw-r--r-- 12550 ParseSuite.hs
-rw-r--r-- 18699 Picosat.hs
-rw-r--r-- 1915 PrettyPrint.hs
-rw-r--r-- 6282 README.txt
-rw-r--r-- 1053 SAT-Britney.cabal
-rw-r--r-- 2466 Stats.hs
-rw-r--r-- 12301 TransRules.hs
-rw-r--r-- 7998 Types.hs
-rw-r--r-- 631 UrgencyTester.hs
-rw-r--r-- 2141 ZArray.hs
drwxr-xr-x - paper
drwxr-xr-x - problems
drwxr-xr-x - testdata