
    Xh                     F    d Z ddlmZ ddlmZmZ ddlZddlm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OrN)Pathc                 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               n/var/www/tools.fuzzalab.pt/emblema-extractor/venv/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byys88q==$!#c((mm#s88a<<#(D A KKx#~(>(>???? KK3)?)?(?@@@t99q==NN2t9---3 e**q..6 =    c                 b    t          |                                           }t          |          S )z'Loads a boolean expression from a file.)r   	read_textr"   )locationr   s     r!   	load_filer'   B   s$    X  ""A77Nr#   )__doc__
sympy.corer   sympy.logic.boolalgr   r   r   pathlibr   r"   r'    r#   r!   <module>r-      s           ' ' ' ' ' ' ' ' 				      2 2 2j    r#   