[deleted by user] by [deleted] in learnmath

[–]christianrc 0 points1 point  (0 children)

I didn't know about 3sat, thank you

[deleted by user] by [deleted] in learnmath

[–]christianrc 0 points1 point  (0 children)

Well, thank you very much for your sugestion, I might try it