python-nnf icon indicating copy to clipboard operation
python-nnf copied to clipboard
verified publisher icon QuMuLab

Dynamic decisions based on size for to_CNF

Open karishmadaga opened this issue 5 years ago • 0 comments

Dynamically decide for user based on the provided NNF to convert to CNF using tseitin transformation or naive transformation.

karishmadaga avatar Dec 02 '20 15:12 karishmadaga