search

Gecode / gecode

Generic Constraint Development Environment
https://www.gecode.org
Other
275 stars 76 forks source link

Use std::chrono::steady_clock for timers. #189

Closed waywardmonkeys closed 9 months ago

waywardmonkeys commented 9 months ago

This improves portability by not using gettimeofday() or clock().

waywardmonkeys commented 9 months ago

@zayenz This will probably end up conflicting with other changes, so when they land, I'm happy to rebase whatever is needed.

zayenz commented 9 months ago

I could rebase the branch from the interface, and there were no conflicts. Waiting for the build to finish before merging (since it is an obviously good fix :-) ).