Fixpoint 
Fixpoint analysis of an equation system

FixpointType 
Fixpoint analysis of an equation system: types

FixpointStd 
Fixpoint analysis of an equation system: standard method

FixpointGuided 
Guided fixpoint analysis of an equation system

FixpointDyn 
Fixpoint analysis of a dynamically explored equation system

Printing functions using module
Format
 
Time 
Small module to compute the duration of computations

Sette 
Sets over ordered types (extension of standard library module and polymorphic variant)

Hashhe 
Hash tables and hash functions (extension of standard library module)

Ilist 
Imbricated lists

SHGraph 
Oriented hypergraphs
