Glencoe

glnc

Organization data from Github https://github.com/glnc

Trier, Germany

https://glencoe.hochschule-trier.de

Glencoe's repositories

minisat-wasm

Compile MiniSat to WebAssembly using emscripten

Language:C++ISC4 50

microsat

Simple CDCL SAT solver

Language:CMIT2 2 4

microsat-wasm

Compile microsat to WebAssembly using emscripten

Language:CISC2 30

spass-wasm

Compile SPASS to WebAssembly using emscripten

Language:CISC1 20

spur-wasm

Compile SPUR to WebAssembly using emscripten

Language:C++ISC1 20