Resolve "add horn sat algorithm"

Closes #5 (closed) Closes #4 (closed)

project1/bin/horn.ml

@@ -2,7 +2,7 @@ open Printf
 open Dolmen
 open Lib
 
-(** A Data structure to store horn clauses efficiently: *)
+(** A data structure to store horn clauses efficiently: *)
 
 (* Clauses are modeled by the number of disjoint false hypothesis and the conlusion *)
 (* and for every variable p, the list of clause where the variable p appear is maintained *)