search

master-keying / minisat

A minimalistic and high-performance SAT solver
minisat.se
Other
143 stars 16 forks source link

Fix compilation under MSVC by disabling signal handling #2

Closed horenmar closed 7 years ago