search

usi-verification-and-security / opensmt

The opensmt solver
Other
78 stars 18 forks source link

Included parallel builds into the main Makefile #693

Closed Tomaqa closed 8 months ago