bap-microx 2.0.0

Libraries

This package provides the following libraries (via ocamlobjinfo):

microx

Documentation:

• Microx_concretizer
• Microx_conqueror
• Microx Microexecution library.