search

AaronDJosephs / 3-SAT-Generator

Generates a 3-sat instance.
2 stars 1 forks source link

Check verifiability #7

Open AaronDJosephs opened 7 years ago

AaronDJosephs commented 7 years ago

I need to add functionality to check if the instance that is produced can be solved. Obviously this is a challenge, given that the whole point of using this problem is that it is NP-complete. I'll probably just implement an exponential algorithm, as I only need to find a few good ones to use that are in the difficult range.

AaronDJosephs commented 7 years ago

It's almost working at this point