Prophesy

User Guide:

• Installation
  • Requirements
  • Step-by-step guide (minimal)
  • Step-by-step guide (full)
• A Quick Tour Through Prophesy
  • Sampling
  • The solution function problem
  • The exact synthesis problem
  • The feasible / optimal instantiation problem
  • The parameter space partitioning problem
• Command Line Utility
• API Documentation
  • prophesy package
  • prophesy_web package
  • write_config module

Indices and tables

• Index

• Module Index

• Search Page