Member of the Technical Staff at Cerebras Systems.
Company:Cerebras SystemsLocation:Toronto
Google's Operations Research tools:
A toolkit for SAT-based prototyping in Python