a ž¬>> 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) ÚsplitÚreÚcompileÚlenÚpopÚmatchÚrstripÚintÚabsÚappendrrr) ÚsZclausesÚlinesZpCommentZpStatsÚlineÚmÚnumsÚlistZlitÚnumÚsign©rúl/Users/vegardjervell/Documents/master/model/venv/lib/python3.9/site-packages/sympy/logic/utilities/dimacs.pyÚload s2           rcCs8t|ƒ}| ¡}Wdƒn1s&0Yt|ƒS)z'Loads a boolean expression from a file.N)ÚopenÚreadr)ÚlocationÚfrrrrÚ load_fileAs &r!) Ú__doc__Z sympy.corerZsympy.logic.boolalgrrr rr!rrrrÚs  5