msoos/stp
Simple Theorem Prover.
Developer Profile
msoos
Discovered public repositories for msoos in the GitHub catalog.
msoos/amdmiscompile
AMD OpenCL miscompilation bug
msoos/sha256-sat-bitcoin
SHA256-SAT-BITCOIN
msoos/minisat_emscripten
MiniSat 2.0 for Empscripten
msoos/sha1-sat
SAT instance generator for SHA-1
msoos/glucosetrack
Glucose 1.0 with tracking of which learnt clause had what effect
msoos/degate
Open source software for chip reverse engineering.
msoos/cryptominisat
An advanced SAT solver
msoos/cnf-utils
Dimacs CNF utilities