generation script
random seed as parameter
using de-morgan laws instead of tseitin's encoding
gitignore
Comments and minor refactoring