Implementation of `opt_pk_array_fprint` is incomplete.

[sykloid]

The implementation of opt_pk_array_fprint (and hence abstract0_fprint) doesn't actually call out to opt_pk_fprint. There's some code there which looks reasonable, but it has been commented out.

I'm assuming there was some problem there I am not seeing?

[GgnDpSngh]

Hi,

This function has the same functionality as "opt_pk_to_lincons_array" so we instead use it for printing timing information for our analyzers (this is just a hack). If you need its functionality, we can make it work.

Cheers, Gagan