Movatterモバイル変換

Glencoe

minisat-wasmminisat-wasmPublic
Compile MiniSat to WebAssembly using emscripten
C++ 4 2
microsatmicrosatPublic
Forked frommarijnheule/microsat
Simple CDCL SAT solver
C 2 1
microsat-wasmmicrosat-wasmPublic
Compile microsat to WebAssembly using emscripten
C 2 1
spass-wasmspass-wasmPublic
Compile SPASS to WebAssembly using emscripten
C 1
spur-wasmspur-wasmPublic
Compile SPUR to WebAssembly using emscripten
C++ 1

Showing 5 of 5 repositories

microsat-wasm Public
Compile microsat to WebAssembly using emscripten
glnc/microsat-wasm’s past year of commit activity
C 2ISC 1 0 0 UpdatedMay 26, 2020
microsat Public Forked frommarijnheule/microsat
Simple CDCL SAT solver
glnc/microsat’s past year of commit activity
C 2MIT 25 3 0 UpdatedMay 14, 2020
spur-wasm Public
Compile SPUR to WebAssembly using emscripten
glnc/spur-wasm’s past year of commit activity
C++ 1ISC0 0 0 UpdatedFeb 5, 2020
spass-wasm Public
Compile SPASS to WebAssembly using emscripten
glnc/spass-wasm’s past year of commit activity
C 1ISC0 0 0 UpdatedFeb 5, 2020
minisat-wasm Public
Compile MiniSat to WebAssembly using emscripten
glnc/minisat-wasm’s past year of commit activity
C++ 4ISC 2 0 0 UpdatedJan 15, 2020

Loading…

Loading…