GitHub repository: kw90/omt_python_timeout_wrapper
Primary language: SMT
Description: Python script to set a timeout and extract the best solution so far using the OptiMathSAT Python wrapper