X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=doc%2FREADME.txt;fp=doc%2FREADME.txt;h=268b9afabd664fb6dda2be85fb8863941c850c72;hb=f28f1ff6a31068dedf27ac26fbb8d988cc7db2a3;hp=7ea531e426fd71c150e7ada634d782e89a86364c;hpb=d2cccdb33e7fb829b1c7541d79702665ca801424;p=satcheck.git

diff --git a/doc/README.txt b/doc/README.txt
index 7ea531e..268b9af 100644
--- a/doc/README.txt
+++ b/doc/README.txt
@@ -1,3 +1,5 @@
+I. Getting Started
+
 To run SATCheck, you need to have built a SAT Solver from SATlib.  To
 obtain SATlib (from within the SATCheck directory):
 
@@ -13,3 +15,15 @@ Then you can build SATCheck.  Simply type make from within the main
 SATCheck directory.
 
 One might find the options in config.h useful.
+
+
+II. Printing Event Graphs
+
+Uncomment DUMP_EVENT_GRAPHS in config.h
+
+Make clean and the remake the system.
+
+Run the model checker.
+
+Use dot (from graphviz) to convert the outputted dot files into the
+format of your choice.