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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
