| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 12 days | More complete IDDFS that resets counter when backtracking | Jedidiah Barber | |
| 12 days | Iterative deepening depth first search as a complete (?) search method | Jedidiah Barber | |
 |
index : kompsos | |
| Experimental miniKanren implementation | Jed Barber |
| aboutsummaryrefslogtreecommitdiff |