# Instructions

Booleanizer, MLTL, and Auxiliary data instructions are defined here as well as appropriate parsing information from the C2PO binary file.

`aux_info.h`
: Define how to parse from binary and store auxiliary data.

`booleanizer.h` and `booleanizer.c`
: Define Booleanizer instruction format and how to parse from binary.

`mltl.h` and `booleanizer.c`
: Define MLTL instruction format, how to parse from binary, and provide configuration operations (e.g., configuring SCQ slots).