collaborators

1 paper

cs.PL2024

To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decision

Xiangyu Guo, Ajay Bansal

We integrate integrity constraints to stableKanren to enable a new problem-solving paradigm in combinatorial search problems. stableKanren extends miniKanren to reasoning about con…