search

biotomas / ipasir

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

fix genipaessentials's learnCb function #21

Closed msakai closed 3 years ago

msakai commented 3 years ago

There were the possibility of out-of-bounds access and the possibility of incorrect counting.