o o h@s<dZddlmZddlmZmZddlZddZddZdS) z[For reading in DIMACS file format www.cs.ubc.ca/~hoos/SATLIB/Benchmarks/SAT/satformat.ps )Symbol)AndOrNc Csg}|d}td}td}t|dkr{|d}||su||}|su|dd}g}|D]3} | dkrgt| dkrAq4tt| } d} t| dkrQd} | r]| t d | q4| t d | q4t|dkru| t |t|dkst |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) sclauseslinespCommentpStatslinemnumslistlitnumsignrp/var/www/html/construction_image-detection-poc/venv/lib/python3.10/site-packages/sympy/logic/utilities/dimacs.pyload s6            r cCs>t|}|}Wdt|S1swYt|S)z'Loads a boolean expression from a file.N)openreadr )locationfrrrr load_fileAs   r%) __doc__ sympy.corersympy.logic.boolalgrrr r r%rrrrs   5