napali 0.1.1

TUI interface for Integrated Reasoning's accelerated solver API