Лучший способ генерировать термины, удовлетворяющие определенным суждениям в Redex
Мне известно о двух попытках Redex по созданию случайных генераторов с ограничениями:
redex-check"s#:satisfying-форма (как обсуждено, например, в этой теме).- Статья ESOP'15 "Выбор случайных суждений" (есть домашняя страница).
Интересно, была ли вторая попытка объединена с дистрибутивом Redex в какой-либо форме для повторного использования? Есть ли предпочтение, которое я должен дать любому из подходов (и почему)?