From 08ff772c1cab0819aa058333b0a4f66f9897958a Mon Sep 17 00:00:00 2001 From: Artur Meski Date: Tue, 5 Mar 2019 18:40:07 +0000 Subject: [PATCH] Sorting out licensing --- LICENSE | 19 +++++++++++++++++++ reactics-bdd/memtime.hh | 15 --------------- 2 files changed, 19 insertions(+), 15 deletions(-) create mode 100644 LICENSE diff --git a/LICENSE b/LICENSE new file mode 100644 index 0000000..9cbdad9 --- /dev/null +++ b/LICENSE @@ -0,0 +1,19 @@ +Copyright (c) 2015-2019 Artur Meski + +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. diff --git a/reactics-bdd/memtime.hh b/reactics-bdd/memtime.hh index 086fd6c..992cbf0 100644 --- a/reactics-bdd/memtime.hh +++ b/reactics-bdd/memtime.hh @@ -1,18 +1,3 @@ -/************************************************************************** - * * - * This file is a part of BMC4LTLK, * - * a program for Bounded Model Checking of LTLK. * - * * - * Copyright (C) 2002-2010 Andrzej Zbrzezny * - * * - * This program is released under the terms of the license contained * - * in the file LICENSE. * - * * - **************************************************************************/ - -/* WARNING: LICENSE VIOLATION. THIS PROGRAM IS USED FOR TEST PURPOSES ONLY - * THIS CODE WILL BE REPLACED BEFORE ANY RELEASE!!!! - */ /* Based on MiniSat 1.14 */