search

biotomas / ipasir

The Standard Interface for Incremental Satisfiability Solving
Other
47 stars 14 forks source link

refer INT32_MAX and INT32_MIN instead of INT_MIN and INT_MAX as the limits of literals #19

Closed msakai closed 3 years ago

msakai commented 3 years ago

18 adopted int32_t as the type of literals, so INT32_MIN and INT32_MAX are more appropriate than INT_MIN and INT_MAX as the limits of literal values.