Dear Rooters, A week ago, I asked for an example of using TProof. No answer yet. I have nothing complicated in mind. Suppose I have n processes which I want to fire off in parallel(say 4 at a time). There are no complications like shared object etc. How could I use TProof, TProofServ (?) for this. For instance, what should this config file look like when I have one multi-processor machine ??? If for this application TProof is not the way to go or if the software is not yet ready for this, please tell. No is also an answer Best Regards, Eddy Offermann
This archive was generated by hypermail 2b29 : Tue Jan 02 2001 - 11:50:22 MET