
    Ed                     :    d Z ddlmZ ddlmZmZ ddlZd Zd ZdS )z[For reading in DIMACS file format

www.cs.ubc.ca/~hoos/SATLIB/Benchmarks/SAT/satformat.ps

    )Symbol)AndOrNc                 X   g }|                      d          }t          j        d          }t          j        d          }t          |          dk    rO|                    d          }|                    |          s|                    |          }|s|                    d                               d          }g }|D ]}	|	dk    rt          |	          dk    rt          t          |	                    }
d}t          |	          dk     rd}|r&|	                    t          d	|
z                       w|	                    t          d	|
z                        t          |          dk    r|	                    t          |            t          |          dk    Ot          | S )
a   Loads a boolean expression from a string.

    Examples
    ========

    >>> from sympy.logic.utilities.dimacs import load
    >>> load('1')
    cnf_1
    >>> load('1 2')
    cnf_1 | cnf_2
    >>> load('1 \n 2')
    cnf_1 & cnf_2
    >>> load('1 2 \n 3')
    cnf_3 & (cnf_1 | cnf_2)
    
zc.*zp\s*cnf\s*(\d*)\s*(\d*)r     TFzcnf_%s)splitrecompilelenpopmatchrstripintabsappendr   r   r   )sclauseslinespCommentpStatslinemnumslistlitnumsigns               <lib/python3.11/site-packages/sympy/logic/utilities/dimacs.pyloadr!      s     GGGDMMEz&!!HZ233F
e**q. .yy|| ~~d## 	.T""A .{{4((..s33 A ACby As88q= %$!#c((mm#s88a< )#(D A KKx#~(>(>???? KK3)?)?(?@@@t99q= .NN2t9---3 e**q. .6 =    c                     t          |           5 }|                                }ddd           n# 1 swxY w Y   t          |          S )z'Loads a boolean expression from a file.N)openreadr!   )locationfr   s      r    	load_filer(   A   sz    	h 1FFHH               77Ns   155)	__doc__
sympy.corer   sympy.logic.boolalgr   r   r   r!   r(    r"   r    <module>r-      sm           ' ' ' ' ' ' ' ' 				2 2 2j    r"   