General discussions about CTM and combinatorics, algorithms, implementations, strategies and their applicability to software development lifecycle.