charludo / limboole Goto Github PK
View Code? Open in Web Editor NEWThis project forked from maximaximal/limboole
Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.
Home Page: https://maximaximal.github.io/limboole/
License: Other