renaming files
sat generator SHOULD work.
sat generator seems to work, halleluja
and i even have a makefile. le fancy.
ppz seems to be working reasonably
some debugging/printing.
generator apparently does NOT work - TOFIX