devs Directory Reference

Directories
directory	branching
directory	cutting
directory	detection
directory	howtoadd
directory	howtouse
directory	misc
directory	presolving
directory	pricing