Skip to main content

tptp/
lib.rs

1//
2//  Copyright (C) 2017-2022 CASM Organization <https://casm-lang.org>
3//  All rights reserved.
4//
5//  Developed by: Philipp Paulweber et al.
6//                <https://github.com/casm-lang/libtptp/graphs/contributors>
7//
8//  This file is part of libtptp.
9//
10//  libtptp is free software: you can redistribute it and/or modify
11//  it under the terms of the GNU General Public License as published by
12//  the Free Software Foundation, either version 3 of the License, or
13//  (at your option) any later version.
14//
15//  libtptp is distributed in the hope that it will be useful,
16//  but WITHOUT ANY WARRANTY; without even the implied warranty of
17//  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
18//  GNU General Public License for more details.
19//
20//  You should have received a copy of the GNU General Public License
21//  along with libtptp. If not, see <http://www.gnu.org/licenses/>.
22//
23//  Additional permission under GNU GPL version 3 section 7
24//
25//  libtptp is distributed under the terms of the GNU General Public License
26//  with the following clarification and special exception: Linking libtptp
27//  statically or dynamically with other modules is making a combined work
28//  based on libtptp. Thus, the terms and conditions of the GNU General
29//  Public License cover the whole combination. As a special exception,
30//  the copyright holders of libtptp give you permission to link libtptp
31//  with independent modules to produce an executable, regardless of the
32//  license terms of these independent modules, and to copy and distribute
33//  the resulting executable under terms of your choice, provided that you
34//  also meet, for each linked independent module, the terms and conditions
35//  of the license of that module. An independent module is a module which
36//  is not derived from or based on libtptp. If you modify libtptp, you
37//  may extend this exception to your version of the library, but you are
38//  not obliged to do so. If you do not wish to do so, delete this exception
39//  statement from your version.
40//