Mercurial > libervia-backend
comparison sat_frontends/primitivus/profile_manager.py @ 3479:be6d91572633
date update
author | Goffi <goffi@goffi.org> |
---|---|
date | Fri, 19 Mar 2021 15:45:14 +0100 |
parents | 559a625a236b |
children | 524856bd7b19 |
comparison
equal
deleted
inserted
replaced
3478:b65175eb7769 | 3479:be6d91572633 |
---|---|
1 #!/usr/bin/env python3 | 1 #!/usr/bin/env python3 |
2 | 2 |
3 | 3 |
4 # Primitivus: a SAT frontend | 4 # Primitivus: a SAT frontend |
5 # Copyright (C) 2009-2020 Jérôme Poisson (goffi@goffi.org) | 5 # Copyright (C) 2009-2021 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. |