kdrag.solvers.scryer.to_scryer_str

kdrag.solvers.scryer.to_scryer_str(expr: BoolRef) → str

Parameters:

expr (BoolRef)

Return type:

str