| 1 |
Dear Alexander, |
| 2 |
|
| 3 |
Many thanks for your reply and your encouragements. |
| 4 |
The point that you raised is very interesting and was partially done in Debian (they defined a wrapper around apt-get instead of refactoring it): http://manpages.ubuntu.com/manpages/zesty/man8/apt-cudf-get.8.html |
| 5 |
Part of their work was formalized in coq and implemented in OCaml. |
| 6 |
In our case, we don't have any mechanized formalization of our model (maybe in the future). |
| 7 |
|
| 8 |
I too (and my colleagues) hope that someone on the team could have some time to look into our project. |
| 9 |
But maybe there are things we can do to help start a dialog, like: |
| 10 |
- reaching in other mailing lists |
| 11 |
- posting on a Gentoo forum |
| 12 |
- participating in a workshop/conference/other where we could directly meet and discuss with the community |
| 13 |
- or simply starting an informal discussion by email where instead of having to look into the Github repository, you could directly ask me |
| 14 |
|
| 15 |
Does anyone have suggestions on that topic? |
| 16 |
|
| 17 |
Again, many thanks. |
| 18 |
I really hope that with everyone's feedback, suggestions, and help, we could make something useful from this prototype. |
| 19 |
|
| 20 |
|
| 21 |
Michael Lienhardt |
| 22 |
|
| 23 |
PS: I forgot in my previous mail to talk about the other persons involved in this project: |
| 24 |
- Jacopo Mauro, Post-doc in UiO (Norway), developer of the solver backend |
| 25 |
- Simone Donetti, Engineer in Unito (Italy), he helped me perform some tests |
| 26 |
- Ferruccio Damiani (Unito), Einar Broch Johnsen and Ingrid Chieh Yu (UiO), our supervisors |
Archives