Method __init__

modules/ace_plus_solver.py:13–16

(self, cfg, logger=None)

@SOLVERS.register_class()
class FormalACEPlusSolver(LatentDiffusionSolver):
    def __init__(self, cfg, logger=None):
        super().__init__(cfg, logger=logger)
        self.probe_prompt = cfg.get("PROBE_PROMPT", None)
        self.probe_hw = cfg.get("PROBE_HW", [])

    @torch.no_grad()
    def run_eval(self):