search

master-keying / minisat

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

add missing <limits> header that breaks compilation for gcc 11.2.1 an… #14

Closed dzosz closed 2 years ago

dzosz commented 3 years ago

raised in issue https://github.com/master-keying/minisat/issues/13

aidan-bailey commented 2 years ago

Thanks so much for providing this fix! Hopefully it gets pulled one of these days.

cernoch commented 2 years ago

I've checked manually and all seems good.

Sorry for a late reply.