maweki/srscoding

Calculate the smallest coding compatible with the rewriting relationship

Python