comparison frontends/sortilege_old/sortilege @ 480:2a072735e459

Licence modification: the full project is now under AGPL v3+ instead of GPL v3+
author Goffi <goffi@goffi.org>
date Wed, 01 Aug 2012 22:53:02 +0200
parents f551e44adb25
children 952322b1d490
comparison
equal deleted inserted replaced
479:4b62ce15a5f8 480:2a072735e459
4 """ 4 """
5 sortilege: a SAT frontend 5 sortilege: a SAT frontend
6 Copyright (C) 2009, 2010 Jérôme Poisson (goffi@goffi.org) 6 Copyright (C) 2009, 2010 Jérôme Poisson (goffi@goffi.org)
7 7
8 This program is free software: you can redistribute it and/or modify 8 This program is free software: you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by 9 it under the terms of the GNU Affero General Public License as published by
10 the Free Software Foundation, either version 3 of the License, or 10 the Free Software Foundation, either version 3 of the License, or
11 (at your option) any later version. 11 (at your option) any later version.
12 12
13 This program is distributed in the hope that it will be useful, 13 This program is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of 14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details. 16 GNU Affero General Public License for more details.
17 17
18 You should have received a copy of the GNU General Public License 18 You should have received a copy of the GNU Affero General Public License
19 along with this program. If not, see <http://www.gnu.org/licenses/>. 19 along with this program. If not, see <http://www.gnu.org/licenses/>.
20 """ 20 """
21 21
22 22
23 from quick_frontend.quick_app import QuickApp 23 from quick_frontend.quick_app import QuickApp