Karl

@LeoniePhiline are you still interested in this project? You probably won't be added as a maintainer for this repository Consider forking `create-wasm-app` and implementing some of the work you think...

About the newer toolchains, are there any template projects for them? I've got a toy rust/wasm-bindgen + js/html frontend project I'm building with webpack. Right now I'm using `wasm-pack build...

Here's an example solving a [DIMACS](https://jix.github.io/varisat/manual/0.2.0/formats/dimacs.html) formatted problem. It's the simplest useful thing to do with z3.rs. Clean it up a bit, and I think would be great for the...

Current status of this PR: still a draft. Right now this branch can auto-start shards based on discord's recommendation, and also has UI to manually select sharding. What it lacks:...

Finished simple implementation, opening a PR