29 Jul
2003
29 Jul
'03
1:23 a.m.
Roberto Bagnara bagnara@cs.unipr.it writes:
- searching 0 or 1 bits scanning towards less significant bits;
- efficiently deciding whether a set of naturals is a (proper or non proper) subset of another.
They're in the tasks list. If Torbjorn likes the concepts then they're only waiting for nice names and good implementations.
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/~checkout~/ppl/src/SatRow.cc?rev=1...
Is your "next" routine the same as mpz_scan1?