[klee-dev] STP Installation

[Daniel Liew]

Hi Vijayy,

> Looks like my previous request about STP installation got ignored.

Are referring to [1] ?

> Any hope that STP installation can be made painless?

I would prefer to discuss this on GitHub so that everyone interested
in STP (I'm not sure all STP devs are on this list) can contribute so
I've created an issue specifically for this [2]. Please reply to it so
we can continue the discussion.

[1] https://github.com/stp/stp/issues/62
[2] https://github.com/stp/stp/issues/77

Thanks,
Dan