solver_api.c
12.1 KB
-
- Small changes to the watch lists behavior. · 088aabc1- Implementation of bookmark, unbookmark and rollback procedures. - Minor changes.
Bruno Schmitt committed
- Implementation of bookmark, unbookmark and rollback procedures. - Minor changes.