
4 Apr
2016
4 Apr
'16
1:31 p.m.
Hi, Funny, this is exactly the direction my thinking has been going. There are too many different variations on restrictions - it might make sense to just have a large enough sampled set, and then filter it with the further restrictions. If nothing is found, we can fail closed at least. Cheers -- Ola Bini (https://olabini.se) "Yields falsehood when quined" yields falsehood when quined.