/omt_python_timeout_wrapper

Python script to set a timeout and extract the best solution so far using the OptiMathSAT Python wrapper

Primary LanguageSMTMIT LicenseMIT

No issues in this repository yet.