Dear all, Off-hand, I know that there is no such a thing in the Boost repository: a (semi-)automatic reasoning tool. Or, am I missing anything? I have made a short google on that, and the first thing comming up is ACL2 which is quite huge for my purpose. The problem with it is that it takes much longer to become an effective user of it than the time I've got. So, does anybody here know any such reasoning tool which doesn't need that much learning time? TIA, --Hossein ___________________________________________________________ Yahoo! Photos – NEW, now offering a quality print service from just 8p a photo http://uk.photos.yahoo.com