Welcome to Mugen’s documentation!

Contents:

• Introduction
  • Getting Started
• Installation
  • Numpy/Anaconda
  • PySAT
  • wrapt-timeout-decorator
  • Glucose::MultiSolvers
  • Graphviz (Optional)
• Examples
• API Reference
  • graph module

Indices and tables

• Index
• Module Index
• Search Page