search

usi-verification-and-security / opensmt

The opensmt solver
Other
78 stars 18 forks source link

Parametrized Dockerfile's base and provided a helper script #721

Closed Tomaqa closed 6 months ago

Tomaqa commented 6 months ago

Allows the use of various base images (such as SMT-COMP).