EFM-SYMBEX : Solver

Source code structure

Interfaces

• Isolver

Classes

Factories

• Solver