
    sg                         d dl mZ ddZy)    )
EncodedCNFc                     dd l }t         t              st               }|j                          | dh j                  v r|r	d dD        S y|sQ|j                   j                        }|dk7  }|s|S |D ci c]!  } j                  t        |      dz
     |dkD  # c}S |j                   j                        }|dk7  }|s|S  fd} ||      S c c}w )Nr   c              3       K   | ]  }|  y w)N ).0fs     Y/var/www/html/venv/lib/python3.12/site-packages/sympy/logic/algorithms/pycosat_wrapper.py	<genexpr>z&pycosat_satisfiable.<locals>.<genexpr>   s     '!A's   FFUNSAT   c              3      K   d}	 	 t        |       }|D ci c]!  }j                  t        |      dz
     |dkD  # c} d}=c c}w # t        $ r |sd Y y Y y w xY ww)NFTr   r   )nextsymbolsabsStopIteration)resultssatisfiablesollitexprs       r	   _genz!pycosat_satisfiable.<locals>._gen   sp     K w-CJMN34<<C15sQw>NN"&K N   "K # s,   A!A
 &AA
 
AA!AA!)	pycosat
isinstancer   add_propdatasolver   r   	itersolve)r   
all_modelsr   exprsrresultr   r   s   `       r	   pycosat_satisfiabler#      s    dJ't 	
sdii'w''MM$))$w,M?@ASX\*C!G3AAdii(w,M		  Aw' Bs   8&CNr   )sympy.assumptions.cnfr   r#   r       r	   <module>r&      s    ,%r%   