search

usi-verification-and-security / opensmt

The opensmt solver
Other
78 stars 18 forks source link

Dockerfile #719

Closed Tomaqa closed 6 months ago

Tomaqa commented 6 months ago

Allows to build and run OpenSMT in a Docker container.