Extraction of CSP solver from storybook app for fun and profit