search

uwdb / Cosette

Cosette is an automated SQL solver.
BSD 2-Clause "Simplified" License
662 stars 54 forks source link

Fix Dockerfile error. #88

Open ReinierKoops opened 2 years ago

ReinierKoops commented 2 years ago

Building the image now works with the updated Dockerfile.