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

Initial version of Dockerfile for Boolector #56

Closed aytey closed 4 years ago

aytey commented 5 years ago

Fix for Issue #33.

Tested as working, and passing the tests, with the latest CaDiCaL.

aytey commented 5 years ago

@mpreiner thanks for the comments -- all done.

There are two changes since you last reviewed this:

  1. The Dockerfile used to git clone Boolector into itself -- this wasn't ideal, as it meant you couldn't build your own local branch inside of Docker, only the current master. This is now changed the Dockerfile copies the current repository into itself before building (which means you can build your own local branches). The documentation has slightly changed to reflect this modified build step.

  2. I rebased this branch on top of my the latest Windows patches branches -- without these updates, you couldn't build CaDiCaL inside of Docker. I have not squashed this commit. If the Windows patches go into master first, I can then rebase this onto of master and /voila/.

aniemetz commented 4 years ago

@andrewvaughanj @mpreiner what is the status of this one?