Glencoe

Trier, Germany

Pinned Repositories

microsat
Simple CDCL SAT solver
Language:C2 2 41
microsat-wasm
Compile microsat to WebAssembly using emscripten
Language:C2 3 01
minisat-wasm
Compile MiniSat to WebAssembly using emscripten
Language:C++4 5 02
spass-wasm
Compile SPASS to WebAssembly using emscripten
Language:C1 3 00
spur-wasm
Compile SPUR to WebAssembly using emscripten
Language:C++1 3 00

Glencoe's Repositories

glnc/minisat-wasm
Compile MiniSat to WebAssembly using emscripten
Language:C++4 5 02
glnc/microsat
Simple CDCL SAT solver
Language:C2 2 41
glnc/microsat-wasm
Compile microsat to WebAssembly using emscripten
Language:C2 3 01
glnc/spass-wasm
Compile SPASS to WebAssembly using emscripten
Language:C1 3 00
glnc/spur-wasm
Compile SPUR to WebAssembly using emscripten
Language:C++1 3 00