choice-annotate A tool to convert a repository into the choice calculus notation. Usage choice-annotate-exe git-repo-name branch-name LICENSE The contents of this repository are licensed under apache2.0 license. Please see the license file for more details.