Comment by in_a_society
3 hours ago
I don't see why it should be all that difficult. All you have to do is first find a library that implements a decent solution to the halting problem and you're off to the races.
3 hours ago
I don't see why it should be all that difficult. All you have to do is first find a library that implements a decent solution to the halting problem and you're off to the races.
You can use my script p-noteq-np.sh too if that helps.