K iDdZddlmZddlmZmZddlZddlmZdZ dZ y)z[For reading in DIMACS file format www.cs.ubc.ca/~hoos/SATLIB/Benchmarks/SAT/satformat.ps )Symbol)AndOrN)Pathcg}|jd}tjd}tjd}t|dkDr |j d}|j |s|j |}|s|j djd}g}|D]{} | dk7s t| dk(rtt| } d} t| dkrd} | r|jtd | z^|jtd | z}t|dkDr|jt|t|dkDr 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)  zc.*zp\s*cnf\s*(\d*)\s*(\d*)r TFzcnf_%s) splitrecompilelenpopmatchrstripintabsappendrrr) sclauseslinespCommentpStatslinemnumslistlitnumsigns b/mnt/ssd/data/python-lab/Trading/venv/lib/python3.12/site-packages/sympy/logic/utilities/dimacs.pyloadr" s6 G GGDMEzz&!H ZZ2 3F e*q.yy|~~d# T"A{{4(..s3 ACbys8q=$!#c(m#s8a<#(D KKx#~(>? KK3)?(?@ At9q=NN2t9-3 e*q.6 =cJt|j}t|S)z'Loads a boolean expression from a file.)r read_textr")locationrs r! load_filer'Bs X  "A 7Nr#) __doc__ sympy.corersympy.logic.boolalgrrr pathlibrr"r'r#r!r-s# ' 2jr#