biotomas / ipasir

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

change return type of ipasir_val to int32_t #20

Closed msakai closed 3 years ago

msakai commented 3 years ago

ipasir_val's return value is a literal or 0, so using int32_t rather than int is more consistent with #18.