On Wed, Dec 8, 2010 at 9:20 PM, Peter Collingbourne <peter at pcc.me.uk> wrote: > Given a constraint solver with an FP theory this would be easy
Wouldn't it be possible to use a software implementation of FP arithmetics as a front end to STP? http://www.jhauser.us/arithmetic/SoftFloat.html I would like to experiment in this direction Mauro -- Computer science is no more about computers than astronomy is about telescopes - Edsger W. Dijkstra
