From 109ddd7a73e375ecc6077fa2458ea36ea93c2ec3 Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Mon, 26 Dec 2016 12:24:07 +0100
Subject: [PATCH] Readme update

---
 README.md | 34 ++++++++++++++++------------------
 1 file changed, 16 insertions(+), 18 deletions(-)

diff --git a/README.md b/README.md
index 025983e6..93ac820a 100644
--- a/README.md
+++ b/README.md
@@ -1,7 +1,7 @@
 # MSAT  [![Build Status](https://travis-ci.org/Gbury/mSAT.svg?branch=master)](https://travis-ci.org/Gbury/mSAT)
 
 MSAT is an OCaml library that features a modular SAT-solver and some
-extensions (including SMT). This is **work in progress**.
+extensions (including SMT).
 
 
 It derives from [Alt-Ergo Zero](http://cubicle.lri.fr/alt-ergo-zero).
@@ -16,6 +16,21 @@ This program is distributed under the Apache Software License version
 
 See https://gbury.github.io/mSAT/
 
+## INSTALLATION
+
+### Via opam
+
+Once the package is on [opam](http://opam.ocaml.org), just `opam install msat`.
+For the development version, use:
+
+    opam pin add msat https://github.com/Gbury/mSAT.git
+
+### Manual installation
+
+You will need ocamlfind and ocamlbuild. The command is:
+
+    make install
+
 ## USAGE
 
 ### Generic SAT/SMT Solver
@@ -60,20 +75,3 @@ as shown in the following code :
     let _ = Sat.solve ()        (* Should return (Sat.Unsat _) *)
 ```
 
-## INSTALLATION
-
-### Via opam
-
-Once the package is on [opam](http://opam.ocaml.org), just `opam install msat`.
-For the development version, use:
-
-    opam pin add msat https://github.com/Gbury/mSAT.git
-
-### Manual installation
-
-You will need ocamlfind. The command is:
-
-    make install
-
-
-