[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Need help finding documentation on how to construct new strategies and add them into my context
- To: email@example.com
- Subject: Need help finding documentation on how to construct new strategies and add them into my context
- From: "Jonathon P. Gladieux" <firstname.lastname@example.org>
- Date: Mon, 24 Apr 2000 03:35:01 -0500
- Delivery-Date: Mon Apr 24 01:35:02 2000
Dear PVS users,
My name is Jonathon P.
Gladieux. I am right now working on a project that adds new strategies to
PVS to automate and simplify the solving of logic puzzles within PVS.
However, from the user manuals, I have not been able to find documentation on
how to add strategies to my PVS context. Can you please point me in the
right direction? I appreciate any help you can offer.
Jonathon P. Gladieux
Computer Science Department
Indiana University Bloomington