linear program generation

and better maximal independent set enumeration