Karishma Daga
Results
1
issues of
Karishma Daga
Dynamically decide for user based on the provided NNF to convert to CNF using tseitin transformation or naive transformation.
enhancement