Skip to content

Latest commit

 

History

History
16 lines (11 loc) · 537 Bytes

README.md

File metadata and controls

16 lines (11 loc) · 537 Bytes

Sudoku Setter

The start of this was from Z3 web demo to get Z3 running on the web

Building

npm install # install dependencies
npm run build # build

Running

Serve this directory somehow (e.g. npx http-server), then navigate to index.html. You should see something like You can also use vscode's Live Server extension on the HTML file. Check the console to see some Z3 related stuff

Any changes done to index.ts requires re-running npm run build