Docker ? about boolector

[mpreiner]

Hi! Do you have any specific issues compiling Boolector yourself?

[alx441]

To the best of my knowledge, not specifically. But I would like to be able to run boolector on different machines in parallel in the same environment. The docker solution seems interesting to me for that, and I thought it would be interesting to ask for a docker file to be created.

[mpreiner]

Ok, we can look into it. It won't be high priority, but we'll let you know as soon as we have a Dockerfile for Boolector.

[alx441]

Ok. Thank you.

[aytey]

@alx441

Could you please take a look at PR #37 please? I would appreciate it if you could tell me if this meets your needs, or if there's something else you need support for.

[alx441]

It's good for me. Thanks.

[aytey]

Just to confirm, did you try building it/running a SMT2 file with it?

[alx441]

Yes, I tried with few SMT2 files.

[aytey]

Awesome! Thanks!