Re: Non-deterministic operation

From: Sergio Antoy <antoy_at_cs.pdx.edu>
Date: Mon, 7 Jun 2004 08:55:30 -0700

This is a good idea long overdue. This operation, with name "!",
is alread defined in the Combinatorial library distributed with
pakcs. The library should be updated too.

Sergio
Received on Di Jun 08 2004 - 08:55:01 CEST

This archive was generated by hypermail 2.3.0 : Mo Okt 26 2020 - 07:15:03 CET