Knights and Knaves - keeping it solvable

So,I've been interested in making a Knights and Knaves puzzle game. Since I want to ensure Replay Value, I'm going to make the puzzles randomly generated. Thing is, I want to make sure that any puzzle generated is solvable, and that there is only one unique solution. How do I ensure this?

Also, is this the right forum for this? I had a bit of trouble figuring out which one to post this in.

I don't know what "Knights and Knaves" is. Could you provide more info?

A sort of logic puzzle involving knights, who always tell the truth, and knaves, who always lie, and figuring out what's going on when you only have those two to go off of.

So is this a programming question?