why3 1.6.0

Libraries

This package provides the following libraries (via ocamlobjinfo):

tptp

Documentation:

• Tptp_parser
• Tptp_typing
• Tptp_lexer
• Tptp_printer

python

Documentation:

• Py_parser
• Py_lexer
• Py_main

microc

Documentation:

• Mc_parser
• Mc_lexer
• Mc_printer
• Mc_main

genequlin

Documentation:

• Genequlin

dimacs

Documentation:

• Dimacs

cfg

Documentation:

• Cfg_parser
• Cfg_lexer
• Cfg_paths
• Subregion_analysis
• Cfg_main

why3

Documentation:

• Why3