AndrooFrowns / puzzle-demon

puzzle solving tools

Mostly the template for vite still.

Long term this will be a program to help with puzzle solving.

I have set up unit testing + Z3 solver I think.

Next is probably:

• [] see about using grilops as a baseline for implementing code that's more ergonomic for puzzles
• [] Add a reasonable gui for at least one puzzle. probably sudoku first
• [] make sure that Z3 is setup to work when this is run as a website and not just when it's being unit tested

---

Keeping the below default stuff for now in case it has relevant info as I'm starting this project

React + TypeScript + Vite

This template provides a minimal setup to get React working in Vite with HMR and some ESLint rules.

Currently, two official plugins are available:

• @vitejs/plugin-react uses Babel for Fast Refresh
• @vitejs/plugin-react-swc uses SWC for Fast Refresh

Expanding the ESLint configuration

If you are developing a production application, we recommend updating the configuration to enable type aware lint rules:

• Configure the top-level parserOptions property like this:

export default {
  // other rules...
  parserOptions: {
    ecmaVersion: 'latest',
    sourceType: 'module',
    project: ['./tsconfig.json', './tsconfig.node.json'],
    tsconfigRootDir: __dirname,
  },
}

• Replace plugin:@typescript-eslint/recommended to plugin:@typescript-eslint/recommended-type-checked or plugin:@typescript-eslint/strict-type-checked
• Optionally add plugin:@typescript-eslint/stylistic-type-checked
• Install eslint-plugin-react and add plugin:react/recommended & plugin:react/jsx-runtime to the extends list