Giters
Glencoe (glnc)

Glencoe

glnc

Geek Repo

Location:Trier, Germany

Home Page:https://glencoe.hochschule-trier.de

Github PK Tool:Github PK Tool

Glencoe's repositories

minisat-wasm

Compile MiniSat to WebAssembly using emscripten

Language:C++License:ISCStargazers:4Issues:5Issues:0

microsat

Simple CDCL SAT solver

Language:CLicense:MITStargazers:2Issues:2Issues:4

microsat-wasm

Compile microsat to WebAssembly using emscripten

Language:CLicense:ISCStargazers:2Issues:3Issues:0

spass-wasm

Compile SPASS to WebAssembly using emscripten

Language:CLicense:ISCStargazers:1Issues:3Issues:0

spur-wasm

Compile SPUR to WebAssembly using emscripten

Language:C++License:ISCStargazers:1Issues:3Issues:0