Read

The phyLS implements several reader callbacks that can be used with the lorina library. The header mockturtle/io/<format>_reader.hpp implements the reader callback <format>_reader.

Example:

read_aiger xxx.aig; // read an aiger as input