kmax (pypi): Tools for working with symbolic  constraints from Kbuild Makefile.
Keywords: makefile|kconfig|kbuild|configurations|kmax|kclause|klocalizer