search

Boolector / boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
http://boolector.github.io
Other
332 stars 62 forks source link

Docker ? #33

Closed alx441 closed 5 years ago

alx441 commented 5 years ago

Hi, Could you please propose a Docker for Boolector? or at least a dockerfile ?

mpreiner commented 5 years ago

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

alx441 commented 5 years ago

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 commented 5 years ago

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 commented 5 years ago

Ok. Thank you.

aytey commented 5 years ago

@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 commented 5 years ago

It's good for me. Thanks.

aytey commented 5 years ago

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

alx441 commented 5 years ago

Yes, I tried with few SMT2 files.

aytey commented 5 years ago

Awesome! Thanks!