stableKanren Enables Numeric Computation and Heuristic Constraints

stableKanren extends miniKanren with a numeric constraint store and heuristic constraints, cutting the search space in the classic SEND+MORE=MONEY puzzle. (5 Oct 2025) Read more: getnews.me/stablekanren-enables-num... #stablekanren #logicprogramming