aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterChanged Scheme benchmark tests to need manual code copy/paste from miniKanren...Jedidiah Barber5 weeks
 
 
AgeCommit messageAuthor
2026-02-14Changed Scheme benchmark tests to need manual code copy/paste from miniKanren...HEADmasterJedidiah Barber
2026-02-10Proper credit info for mk.scm, mkdefs.scm, uk.scm comparison testing filesJedidiah Barber
2026-02-09Readme updated to note IDDFS useJedidiah Barber
2026-02-09More complete IDDFS that resets counter when backtrackingJedidiah Barber
2026-02-08Iterative deepening depth first search as a complete (?) search methodJedidiah Barber
2026-02-06Changed 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-03-19 12:59:14 +0000