Add CUI interface for vertex cover