Python Formula.solve Beispiele

Beispiel #1

def main() -> None:
    try:
        logging.basicConfig(filename='logs/run%s.log' %
                            re.sub('\W+', '_', str(datetime.now())),
                            level=logging.DEBUG)
    except FileNotFoundError:
        logging.disable(2333)
    logging.info('original file is:')
    n, M = parse()
    fm = Formula(n, M)
    if fm.solve():
        print('s SATISFIABLE')
        #logging.debug(str(fm.model))
    else:
        print('s UNSATISFIABLE')