[Boost-users] (Semi-)Automatic Resoning Tools

From: Hossein Haeri (powerprogman_at_[hidden])
Date: 2006-04-06 05:51:17

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