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`
Fri, 02 Jun 2023 11:49:51 +0200 Goffi refactoring: renamed `sat` package to `libervia.backend`