Haydi
latest
User guide
Overview
Example: Černy’s conjecture
Installation
Domains
Pipeline
Set and Map
Canonical forms
Distributed computation
Cookbook
Performance tips
Contact
Haydi
Docs
»
Haydi
Edit on GitHub
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
Read the Docs
v: latest
Versions
latest
Downloads
pdf
htmlzip
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.