parser.instances.checker
Interfaces
IOptimChecker
IStatusChecker
Classes
OptimSChecker
SatSChecker
SCheckFactory