lua_solver

lua_solver models problem-solving as Structure (immutable data types)
+ Strategy IF (swappable algorithms). It supports hypothesis generation,
evidence evaluation, confidence tracking, gap detection, and more.