diff options
Diffstat (limited to 'libs/ezsat/README')
-rw-r--r-- | libs/ezsat/README | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libs/ezsat/README b/libs/ezsat/README index c6745e6cf..db0a18a4e 100644 --- a/libs/ezsat/README +++ b/libs/ezsat/README @@ -4,7 +4,7 @@ * The ezSAT C++11 library * * * * A simple frontend to SAT solvers with bindings to MiniSAT. * - * by Clifford Wolf * + * by Claire Xenia Wolf * * * ************************************************************************** |