diff sat_frontends/__init__.py @ 4072:040095a5dc7f

refactoring: rename `SAT` class to `LiberviaBackend`
author Goffi <goffi@goffi.org>
date Fri, 02 Jun 2023 11:55:48 +0200
parents 26edcf3a30eb
children
line wrap: on
line diff