diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-08-15 21:25:21 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-08-15 21:25:21 +0000 |
| commit | a6b782a6b8486689e47338c456b816c95cf67a92 (patch) | |
| tree | a7f911007e1d27c2fb0e1847d9cabb1c538d65b2 /src/prop/minisat/LICENSE | |
| parent | 58ea6b0b63d2170391a61e0fe3b1a3ecf3b99fb2 (diff) | |
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 |