diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-12 18:24:54 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-16 22:28:26 -0500 |
commit | 5186ca79710fe935d1f7ed27c4a34e913ab547e8 (patch) | |
tree | 4f5ce4957063085f607492a6474b0d244e4b2da4 /proofs/lfsc_checker/COPYING | |
parent | 4d9caf9782c59823fb95519b9b518b7d7f89738a (diff) |
First attempt at incorporating LFSC proof checker into CVC4.
Diffstat (limited to 'proofs/lfsc_checker/COPYING')
-rw-r--r-- | proofs/lfsc_checker/COPYING | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/proofs/lfsc_checker/COPYING b/proofs/lfsc_checker/COPYING new file mode 100644 index 000000000..b220a3147 --- /dev/null +++ b/proofs/lfsc_checker/COPYING @@ -0,0 +1,17 @@ +LFSC is copyright (C) 2012, 2013 The University of Iowa. +All rights reserved. + +LFSC is open-source; distribution is under the terms of the modified +BSD license. + +THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT OWNERS AND CONTRIBUTORS +AS IS AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT +LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR +A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT +OWNERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, +SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT +LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, +DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY +THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT +(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE +OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |