readme

readme.md

@@ -1,7 +1,7 @@
 <img src="logo.jpeg" class="center" alt="Bule Logo" width="600"/>
 
-Bule helps you to create beautiful CNF & QBF encodings.
-The program `bule` is a sophisticated grounder for the modelling language Bule that translates to CNF for SAT Solving. 
+Bule helps you to create beautiful CNF and QBF encodings.
+The program `bule` is a sophisticated grounder for the modeling language Bule that support SAT and QBF Solving. 
 
 ## Features
 
@@ -14,22 +14,20 @@ The program `bule` is a sophisticated grounder for the modelling language Bule t
 
 ## Tutorial 
 
-A tutorial can be found in [tutorial](doc/tutorial) : 
+An introduction to the language can be found in this [tutorial](doc/tutorial) encoding graph coloring to SAT.
 
-
-## Syntax Highlighting 
-
-* Vscode: https://marketplace.visualstudio.com/items?itemName=seanskggo.bule-syntax-highlighting
-* VIM: https://github.com/vale1410/vim-minizinc
+* Syntax Highlighting 
+    * Vscode: https://marketplace.visualstudio.com/items?itemName=seanskggo.bule-syntax-highlighting
+    * VIM: https://github.com/vale1410/vim-minizinc
 
 
 Related Links
 -----
 
-* http://www.cs.utexas.edu/users/vl/tag/SAT-grounders
 * http://www.satlive.org/ 
 * https://pysathq.github.io/
+* http://bach.istc.kobe-u.ac.jp/sugar/
 * http://picat-lang.org/
 * http://potassco.sourceforge.net/
-* http://bach.istc.kobe-u.ac.jp/sugar/
 * https://accu.org/journals/overload/27/150/horenovsky_2640/
+* http://www.cs.utexas.edu/users/vl/tag/SAT-grounders