Here you will find some information about my work that Microsoft-GitHub knows and that it can use in its projects without asking me for permission.
ysard / cryptominisat Goto Github PK
View Code? Open in Web Editor NEWThis project forked from msoos/cryptominisat
An advanced SAT Solver
Home Page: https://www.msoos.org
License: Other