Ë
    óÿæi‡  ã                   óD   — 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
y)z[For reading in DIMACS file format

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

é    )ÚSymbol)ÚAndÚOrN)ÚPathc                 óÂ  — g }| j                  d«      }t        j                  d«      }t        j                  d«      }t        |«      dkD  �r|j	                  d«      }|j                  |«      sÚ|j                  |«      }|sÇ|j                  d«      j                  d«      }g }|D ]{  }	|	dk7  sŒ	t        |	«      dk(  rŒt        t        |	«      «      }
d}t        |	«      dk  rd}|r|j                  t        d	|
z  «      «       Œ^|j                  t        d	|
z  «       «       Œ} t        |«      dkD  r|j                  t        |Ž «       t        |«      dkD  r�Œt        |Ž 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               úq/Volumes/fast/ai/experiments/voice-extract-mac/.venv/lib/python3.12/site-packages/sympy/logic/utilities/dimacs.pyÚloadr"      s/  € ð  €Gà�G‰G�D‹M€Eä�z‰z˜&Ó!€HÜ�Z‰ZÐ2Ó3€Fä
ˆe‹*�q‹.Ø�y‰y˜‹|ˆð �~‰~˜dÔ#Ø—‘˜TÓ"ˆAáØ—{‘{ 4Ó(×.Ñ.¨sÓ3�Ø�Û�CØ˜b“yÜ˜s›8 qš=Ø$Ü!¤# c£(›m˜Ø#˜Ü˜s›8 aš<Ø#(˜DáØ ŸK™K¬¨x¸#©~Ó(>Õ?à ŸK™K¬°¸3±Ó)?Ð(?Õ@ð  ô �t“9˜q’=Ø—N‘N¤2 t 9Ô-ô3 ˆe‹*�qŒ.ô6 �ˆ=Ðó    c                 óJ   — t        | «      j                  «       }t        |«      S )z'Loads a boolean expression from a file.)r   Ú	read_textr"   )Úlocationr   s     r!   Ú	load_filer'   B   s   € äˆX‹× Ñ Ó"€AÜ�‹7€Nr#   )Ú__doc__Ú
sympy.corer   Úsympy.logic.boolalgr   r   r   Úpathlibr   r"   r'   © r#   r!   Ú<module>r-      s#   ðñõ ß 'Û 	Ý ò2ójr#   