[Termtools] FP/LP

[Carsten Otto]

On Sun, Oct 26, 2008 at 04:45:52PM +0100, Johannes Waldmann wrote:
>> This looks good, but some sure YES results are missing 
> interesting. is this perhaps another instance of:
> http://dev.aspsimon.org/bugzilla/show_bug.cgi?id=32

No. The FP problems were related to a wrong strategy, LP works just as
expected.

Bye,
-- 
Carsten Otto           otto at informatik.rwth-aachen.de
LuFG Informatik 2      http://verify.rwth-aachen.de/otto/
RWTH Aachen            phone: +49 241 80-21241
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 197 bytes
Desc: Digital signature
Url : http://lists.lri.fr/pipermail/termtools/attachments/20081027/751c961e/attachment.pgp