Hamiltonian Path/Cycle Request

[weaversa]

Since cnfgen has the ability to take graphs as input, I think it would be possible for it to generate CNFs for Hamiltonian Paths and Hamiltonian Cycles.

Here is a link I found that describes the encoding (though there may be others): http://www.cse.msu.edu/~torng/Classes/Archives/cse830.03fall/Lectures/example-reductions.pdf

I would appreciate the addition of these generation capabilities. Thanks!