# $Id$ from .result import Result class Marc(Result): def __init__(self): self.solver='Marc'