³ò dO“Ic@sädZdZdZeZeZddd„ƒYZd„Zd„Z ddk l Z l Z ddk lZd efd „ƒYZd efd „ƒYZd efd„ƒYZdefd„ƒYZdefd„ƒYZd„ZdS(iÿÿÿÿiitGVcBseZdZhZdZRS(sVariabil globali di data.pyi(t__name__t __module__t__doc__tvarstvars_N(((sD/home/alpt/misc/unimat/appunti/logica/computazionale/dputnam/data.pyR scCs|djodndS(Niiiÿÿÿÿ((tz((sD/home/alpt/misc/unimat/appunti/logica/computazionale/dputnam/data.pytsgnscCs|djo|n| S(Ni((tltv((sD/home/alpt/misc/unimat/appunti/logica/computazionale/dputnam/data.pytvals(tuniquet append_if_new(tDEBUGt UnsatisfablecBseZRS((RR(((sD/home/alpt/misc/unimat/appunti/logica/computazionale/dputnam/data.pyRstConflictcBseZRS((RR(((sD/home/alpt/misc/unimat/appunti/logica/computazionale/dputnam/data.pyRst TrueClausecBseZRS((RR(((sD/home/alpt/misc/unimat/appunti/logica/computazionale/dputnam/data.pyRstClausecBs2eZdddgZd„Zd„Zd„ZRS(tundefstonestlitc Cs;t|ƒtgƒjo td‚ntg}|D]}|tjo ||q4q4~ƒ|_|igjo td‚nt|ijo t‚nt|iƒttg}|iD]}|t |ƒq¸~ƒƒjo t‚nx1|iD]&}t |ƒt i t |ƒi |(((sD/home/alpt/misc/unimat/appunti/logica/computazionale/dputnam/data.pyss  8t