This repository contains programs that were written during studying university subject "Configuration Management".
Contains three homeworks:
- GUI shell emulator.
- Git-commits graph visualizator
- Formal configuration language converter
Contains SMT-solution of resolving the package dependencies problem
The dependencies graph is represented with the dictionary
To interact with the solution, you can read Z3 Docs.