dSynMa/syMTri

Mathsat tests: ResourceWarnings on Windows

lou1306 opened this issue · 0 comments

lou1306 commented

Apparently pysmt's with Solver(...) as s has issues on Windows?