cerebos/cryptominisat
An advanced SAT Solver
KeePass plugin to expose password entries securely (256bit AES/CBC) over HTTP
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
An advanced SAT Solver