comparison sat_frontends/jp/cmd_param.py @ 3479:be6d91572633

date update
author Goffi <goffi@goffi.org>
date Fri, 19 Mar 2021 15:45:14 +0100
parents 559a625a236b
children 04283582966f
comparison
equal deleted inserted replaced
3478:b65175eb7769 3479:be6d91572633
1 #!/usr/bin/env python3 1 #!/usr/bin/env python3
2 2
3 3
4 # jp: a SAT command line tool 4 # jp: a SAT command line tool
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 # Copyright (C) 2013-2016 Adrien Cossa (souliane@mailoo.org) 6 # Copyright (C) 2013-2016 Adrien Cossa (souliane@mailoo.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 Affero 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