Mercurial > libervia-backend
comparison sat_frontends/jp/loops.py @ 3136:9d0df638c8b4
dates update
author | Goffi <goffi@goffi.org> |
---|---|
date | Wed, 29 Jan 2020 09:50:54 +0100 |
parents | 3df611adb598 |
children | be6d91572633 |
comparison
equal
deleted
inserted
replaced
3135:b9395c4df8b9 | 3136:9d0df638c8b4 |
---|---|
1 #!/usr/bin/env python3 | 1 #!/usr/bin/env python3 |
2 | 2 |
3 # jp: a SAT command line tool | 3 # jp: a SAT command line tool |
4 # Copyright (C) 2009-2019 Jérôme Poisson (goffi@goffi.org) | 4 # Copyright (C) 2009-2020 Jérôme Poisson (goffi@goffi.org) |
5 | 5 |
6 # This program is free software: you can redistribute it and/or modify | 6 # This program is free software: you can redistribute it and/or modify |
7 # it under the terms of the GNU Affero General Public License as published by | 7 # it under the terms of the GNU Affero General Public License as published by |
8 # the Free Software Foundation, either version 3 of the License, or | 8 # the Free Software Foundation, either version 3 of the License, or |
9 # (at your option) any later version. | 9 # (at your option) any later version. |