diff options
Diffstat (limited to 'src/prop/minisat/LICENSE')
-rw-r--r-- | src/prop/minisat/LICENSE | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/prop/minisat/LICENSE b/src/prop/minisat/LICENSE index c87a32731..22816ff39 100644 --- a/src/prop/minisat/LICENSE +++ b/src/prop/minisat/LICENSE @@ -1,4 +1,5 @@ MiniSat -- Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson + Copyright (c) 2007-2010 Niklas Sorensson Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the |