log

age author description
Fri, 02 Jun 2023 14:12:38 +0200 Goffi refactoring: rename `sat_frontends` to `libervia.frontends`
Fri, 02 Jun 2023 12:59:21 +0200 Goffi refactoring: rename `core.sat_main` to `core.main`
Fri, 02 Jun 2023 11:55:48 +0200 Goffi refactoring: rename `SAT` class to `LiberviaBackend`