From 1a890598b1470c92d9352205ee25feab061141ea Mon Sep 17 00:00:00 2001 From: Pierrot Date: Thu, 28 Mar 2024 16:03:30 +0100 Subject: [PATCH] Update README.md Misspelling --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 5ef2641..e70d07f 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,6 @@ # Ocplib-simplex -`Ocplib-simplex` is library implementing a simplex algorithm, in a functional +`Ocplib-simplex` a is library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities and optimizing linear objective functions. The implementation is incremental and backtrackable. It is able to extract unsat-cores for unsatisfiable problems. Versions `> 0.1`