Mercurial > libervia-backend
comparison sat_frontends/primitivus/xmlui.py @ 2771:003b8b4b56a7
date update
author | Goffi <goffi@goffi.org> |
---|---|
date | Sat, 12 Jan 2019 12:25:31 +0100 |
parents | 378188abe941 |
children | d86cddc1cd05 |
comparison
equal
deleted
inserted
replaced
2770:2d353b74010e | 2771:003b8b4b56a7 |
---|---|
1 #!/usr/bin/env python2 | 1 #!/usr/bin/env python2 |
2 # -*- coding: utf-8 -*- | 2 # -*- coding: utf-8 -*- |
3 | 3 |
4 # Primitivus: a SAT frontend | 4 # Primitivus: a SAT frontend |
5 # Copyright (C) 2009-2018 Jérôme Poisson (goffi@goffi.org) | 5 # Copyright (C) 2009-2019 Jérôme Poisson (goffi@goffi.org) |
6 | 6 |
7 # This program is free software: you can redistribute it and/or modify | 7 # This program is free software: you can redistribute it and/or modify |
8 # it under the terms of the GNU Affero General Public License as published by | 8 # it under the terms of the GNU Affero General Public License as published by |
9 # the Free Software Foundation, either version 3 of the License, or | 9 # the Free Software Foundation, either version 3 of the License, or |
10 # (at your option) any later version. | 10 # (at your option) any later version. |