aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterChanged Scheme benchmark tests to need manual code copy/paste from miniKanren...Jedidiah Barber6 days
 
 
AgeCommit messageAuthor
6 daysChanged Scheme benchmark tests to need manual code copy/paste from miniKanren...HEADmasterJedidiah Barber
10 daysProper credit info for mk.scm, mkdefs.scm, uk.scm comparison testing filesJedidiah Barber
11 daysReadme updated to note IDDFS useJedidiah Barber
11 daysMore complete IDDFS that resets counter when backtrackingJedidiah Barber
12 daysIterative deepening depth first search as a complete (?) search methodJedidiah Barber
14 daysChanged the map for DOT in Pretty_Print to a Hashed_MapJedidiah Barber
2026-02-06Evaluation algorithm changed to inverted interleaved depth first searchJedidiah Barber
2026-01-29Some equivalent test programs in Scheme running on microKanren and miniKanren...Jedidiah Barber
2026-01-25Slight revision to readmeJedidiah Barber
2026-01-24Minor tidyup and some more commentsJedidiah Barber
[...]
 
Clone
git://jedbarber.id.au/kompsos
generated by cgit (git 2.30.0) at 2026-02-20 07:38:53 +0000