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.