diff options
Diffstat (limited to 'libs/ezsat/ezminisat.h')
| -rw-r--r-- | libs/ezsat/ezminisat.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libs/ezsat/ezminisat.h b/libs/ezsat/ezminisat.h index 3a34c13c8..92a91d744 100644 --- a/libs/ezsat/ezminisat.h +++ b/libs/ezsat/ezminisat.h @@ -1,7 +1,7 @@ /* * ezSAT -- A simple and easy to use CNF generator for SAT solvers * - * Copyright (C) 2013 Clifford Wolf <clifford@clifford.at> + * Copyright (C) 2013 Claire Xenia Wolf <claire@yosyshq.com> * * Permission to use, copy, modify, and/or distribute this software for any * purpose with or without fee is hereby granted, provided that the above |