maximaximal / limboole

Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.

https://maximaximal.github.io/limboole/

Geek Repo

Github PK Tool