kompsos/src, branch masterExperimental miniKanren implementationMore complete IDDFS that resets counter when backtracking2026-02-08T22:54:31+00:00Jedidiah Barbercontact@jedbarber.id.au2026-02-08T22:54:31+00:00ab78413a044900e421d2e0144f3c170bdc3f0b18
Iterative deepening depth first search as a complete (?) search method2026-02-08T09:00:52+00:00Jedidiah Barbercontact@jedbarber.id.au2026-02-08T09:00:52+00:0032eea08483afb754c7da5663f33cd022d4a2723c
Changed the map for DOT in Pretty_Print to a Hashed_Map2026-02-06T08:32:44+00:00Jedidiah Barbercontact@jedbarber.id.au2026-02-06T08:32:44+00:000b9e8a567265584f8ad5f321a38cf1f183875693
Evaluation algorithm changed to inverted interleaved depth first search2026-02-06T04:19:26+00:00Jedidiah Barbercontact@jedbarber.id.au2026-02-06T04:19:26+00:006bced91bd28f860d830dfda921ee5056ec93f48c
Minor tidyup and some more comments2026-01-24T07:17:20+00:00Jedidiah Barbercontact@jedbarber.id.au2026-01-24T07:17:20+00:0000886e535241a994b71ca1ce62f24f5f11ec9255
Unrolled linked lists for State2026-01-23T12:11:17+00:00Jedidiah Barbercontact@jedbarber.id.au2026-01-23T12:11:17+00:007b201fc0587e8012189f7b1f245734e117e4975c
States are now custom linked lists2026-01-22T03:41:39+00:00Jedidiah Barbercontact@jedbarber.id.au2026-01-22T03:41:39+00:0028d132c2823d7dfa21190bf746f9f39dd59a40d8
Moved < operator for Graph_Component_Access over to Pretty_Print package2026-01-21T21:43:33+00:00Jedidiah Barbercontact@jedbarber.id.au2026-01-21T21:43:33+00:0042e3c2fa30552a227e38f03b859f03ae51f9000d
Refactor of evaluation using custom bookkeeping datatype instead of Maps2026-01-21T02:31:35+00:00Jedidiah Barbercontact@jedbarber.id.au2026-01-21T02:31:35+00:002f622510f4feecee552c43a31bd592d1c7f6617f
Fixed oversight in Resolve_First after switch to using a Vector in State2026-01-19T05:50:55+00:00Jedidiah Barbercontact@jedbarber.id.au2026-01-19T05:50:55+00:0009f522deb502e3675a4f5daa26c6c8fafb91144e