User's guide
Developer's guide
Tutorials
Glossary
Partition the domain for the requested number of tasks
graph_file (str, optional) – The name of the graph file to partition