Mention CVC4 and NetworkX in installation guide