magpie.optimization.rankers

Class PropertyFormulaRanker