diff options
Diffstat (limited to 'libs/ezsat/testbench.cc')
-rw-r--r-- | libs/ezsat/testbench.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libs/ezsat/testbench.cc b/libs/ezsat/testbench.cc index d6dc41fa9..f5a91f3fb 100644 --- a/libs/ezsat/testbench.cc +++ b/libs/ezsat/testbench.cc @@ -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 |