| [9] | 1 | MiniSat -- Copyright (c) 2005, Niklas Sorensson |
|---|
| 2 | |
|---|
| 3 | Permission is hereby granted, free of charge, to any person obtaining a |
|---|
| 4 | copy of this software and associated documentation files (the |
|---|
| 5 | "Software"), to deal in the Software without restriction, including |
|---|
| 6 | without limitation the rights to use, copy, modify, merge, publish, |
|---|
| 7 | distribute, sublicense, and/or sell copies of the Software, and to |
|---|
| 8 | permit persons to whom the Software is furnished to do so, subject to |
|---|
| 9 | the following conditions: |
|---|
| 10 | |
|---|
| 11 | The above copyright notice and this permission notice shall be included |
|---|
| 12 | in all copies or substantial portions of the Software. |
|---|
| 13 | |
|---|
| 14 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS |
|---|
| 15 | OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF |
|---|
| 16 | MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND |
|---|
| 17 | NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE |
|---|
| 18 | LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION |
|---|
| 19 | OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION |
|---|
| 20 | WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. |
|---|
