diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-08-13 17:21:24 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-08-13 17:21:24 +0000 |
| commit | 33de059bee5f6814615a88a7c13d819820430f25 (patch) | |
| tree | c0b2cdd0ff249c3811befcd12d011dc89a5099b9 /src/prop/minisat/LICENSE | |
| parent | ca627b6170a0528b95b94c8de7255eb243d99264 (diff) | |
Removing newer version of MiniSat for Dejan's preferred import
Diffstat (limited to 'src/prop/minisat/LICENSE')
| -rw-r--r-- | src/prop/minisat/LICENSE | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/src/prop/minisat/LICENSE b/src/prop/minisat/LICENSE deleted file mode 100644 index 22816ff39..000000000 --- a/src/prop/minisat/LICENSE +++ /dev/null @@ -1,21 +0,0 @@ -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 -"Software"), to deal in the Software without restriction, including -without limitation the rights to use, copy, modify, merge, publish, -distribute, sublicense, and/or sell copies of the Software, and to -permit persons to whom the Software is furnished to do so, subject to -the following conditions: - -The above copyright notice and this permission notice shall be included -in all copies or substantial portions of the Software. - -THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS -OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF -MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND -NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE -LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION -OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION -WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. |