All modules for which code is available

• ifstype.exact.symbolic
• ifstype.generations
• ifstype.graph
• ifstype.ifs