default search strategy of KiCS2

From: Wolfgang Jeltsch <wolfgang_at_cs.ioc.ee>
Date: Fri, 26 Apr 2013 19:05:27 +0300

Hi,

what is the default search strategy of KiCS2? I haven’t found the answer
in the KiCS2 manual.

Best wishes,
Wolfgang

_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Fr Apr 26 2013 - 18:30:08 CEST

This archive was generated by hypermail 2.3.0 : Fr Mär 29 2024 - 07:15:12 CET