
    g                         d dl mZ ddZdS )    )
EncodedCNFFc                     dd l }t           t                    s%t                      }|                                | dh j        v r|rd dD             S dS |s2|                     j                  }|dk    }|s|S  fd|D             S |                     j                  }|dk    }|s|S  fd} ||          S )Nr   c              3      K   | ]}|V  d S )N ).0fs     b/var/www/html/ai-engine/env/lib/python3.11/site-packages/sympy/logic/algorithms/pycosat_wrapper.py	<genexpr>z&pycosat_satisfiable.<locals>.<genexpr>   s"      ''!A''''''    FFUNSATc                 T    i | ]$}j         t          |          d z
           |dk    %S    r   symbolsabsr   litexprs     r	   
<dictcomp>z'pycosat_satisfiable.<locals>.<dictcomp>   s0    AAASXX\*C!GAAAr   c              3      K   d}	 	 t          |           }fd|D             V  d}"# t          $ r |sdV  Y d S Y d S w xY w)NFTc                 T    i | ]$}j         t          |          d z
           |dk    %S r   r   r   s     r	   r   z5pycosat_satisfiable.<locals>._gen.<locals>.<dictcomp>#   s0    NNN34<C15sQwNNNr   )nextStopIteration)resultssatisfiablesolr   s      r	   _genz!pycosat_satisfiable.<locals>._gen   s      K 'w--CNNNN#NNNNNN"&K' !      "  KKKKKK      s   #* A A)pycosat
isinstancer   add_propdatasolve	itersolve)r   
all_modelsr    exprsrresultr   s   `      r	   pycosat_satisfiabler*      s   NNNdJ'' t 	
sdi 	(''w''''u MM$)$$w, 	MAAAAqAAAAdi((w, 	M		  		  		  		  		  tAwwr   Nr   )sympy.assumptions.cnfr   r*   r   r   r	   <module>r,      s5    , , , , , ,% % % % % %r   