Frama-C API - frama-c-reduc

Library frama-c-reduc.core

The entry point of this library is the module: Reduc.