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