Haydi

User guide

• Overview
  • Example of usage
• Example: Černy’s conjecture
• Installation
  • Basic installation
  • Distributed run
  • PyPy
• Domains
  • Elementary Domains
  • Composition
  • Laziness of domains
  • Transformations
  • Names
• Pipeline
  • Overview
  • Method
  • Transformations
  • Actions
  • Run
  • Shortcuts
  • Immutability of pipelines
• Set and Map
• Canonical forms
  • Atoms and USets
  • Atoms from different USets
  • Basic objects
  • Canonical forms
  • Strict domains
  • Transformations on strict domains
  • Domain CnfValues
  • Public functions
• Distributed computation
  • Local computation
  • Distributed computation
  • Limitations
• Cookbook
  • Graphs
  • Automata
• Performance tips
  • Materialization of domains
  • Step jumps
• Contact
  • Authors
  • Acknowledgment