此库可以用作基于属性的测试驱动程序等通常查找满足谓词的值(a->布尔). 这个是通过大小限制搜索完成的,它使用谓词,通过避免同构值来加快搜索速度。
a->布尔
这类似于LazySmallCheck(懒惰小检查)但使用大小而不是深度以及更快的算法。
[索引] [快速跳跃]
包装维护人员
对于包维护者和黑客托管者
候选人