sampling-based algorithm using using state space decomposition
Test docker, registry, CI of git
gettin confortable with new tool