search

sambayless / monosat

MonoSAT - An SMT solver for Monotonic Theories
MIT License
106 stars 29 forks source link

Update to work with Python 3.8 #25

Closed acairncross closed 4 years ago

acairncross commented 4 years ago

time.clock has been removed in Python 3.8: https://docs.python.org/3.7/library/time.html#time.clock

process_time matches what clock used to do on Unix.

sambayless commented 4 years ago

Thanks! Looks good to me, I'll merge this in shortly.