diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-11-01 13:59:47 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-01 20:59:47 +0000 |
| commit | 9cae42243a4c0be14fd72f5379ee4eb9f4bc88e9 (patch) | |
| tree | 0a9cfac9b3ec68737955d3b05c3ae69088eeaa7b /src/prop/bvminisat/LICENSE | |
| parent | 77416fa5f7cd004bbec3fb4901f47908d1e8fdd4 (diff) | |
bv: Remove layered solver. (#7455)
This commit removes the old bit-vector solver code.
Diffstat (limited to 'src/prop/bvminisat/LICENSE')
| -rw-r--r-- | src/prop/bvminisat/LICENSE | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/src/prop/bvminisat/LICENSE b/src/prop/bvminisat/LICENSE deleted file mode 100644 index 22816ff39..000000000 --- a/src/prop/bvminisat/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. |