we've got our best shark on the problem
@violet I actually think that P != NP, personally...
@SuricrasiaOnline probably isn't, but even if it is, then the cnf is probably not a great representation of the encoding of the problem.
The Vulpine Club is a friendly and welcoming community of foxes and their associates, friends, and fans! =^^=