From: Markus Triska Date: Fri, 8 Sep 2023 20:37:18 +0000 (+0200) Subject: add licensing information, addressing part of #1798 X-Git-Tag: remove~104^2~6 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=efcc2b81cdb681d2a9c248347cba63115dd96f3c;p=scryer-prolog.git add licensing information, addressing part of #1798 --- diff --git a/src/lib/clpb.pl b/src/lib/clpb.pl index 9d90ecd7..fdf1cfce 100644 --- a/src/lib/clpb.pl +++ b/src/lib/clpb.pl @@ -1,10 +1,29 @@ /* CLP(B): Constraint Logic Programming over Boolean Variables + Author: Markus Triska + E-mail: triska@metalevel.at + WWW: https://www.metalevel.at Copyright (C): 2019-2023 Markus Triska - All rights reserved. - E-mail: triska@metalevel.at - WWW: http://www.metalevel.at + 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. */