| xSAT - Copyright (c) 2016, Bruno Schmitt - UC Berkeley / UFRGS (boschmitt@inf.ufrgs.br) |
| |
| xSAT is based on Glucose v3(see Glucose copyrights below) and ABC C version of |
| MiniSat (bsat) developed by Niklas Sorensson and modified by Alan Mishchenko. |
| Permissions and copyrights of xSAT are exactly the same as Glucose v3/Minisat. |
| (see below). |
| |
| --------------- |
| |
| Glucose -- Copyright (c) 2013, Gilles Audemard, Laurent Simon |
| CRIL - Univ. Artois, France |
| LRI - Univ. Paris Sud, France |
| |
| Glucose sources are based on MiniSat (see below MiniSat copyrights). Permissions |
| and copyrights of Glucose are exactly the same as Minisat on which it is based |
| on. (see below). |
| |
| --------------- |
| |
| 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. |
| *******************************************************************************/ |
