maximaximal

maximaximal

👤 Developer

1 repository on SrcLog

View on GitHub
1 Repos
2 Stars
2 Forks
2 Watchers

Repositories (1)

limboole maximaximal/limboole C

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

2