GaloisInc / what4

Symbolic formula representation and solver interaction library
155 stars 13 forks source link

BV <> LIA translation for CHC solvers #250

Closed andreistefanescu closed 10 months ago

RyanGlScott commented 10 months ago

The CI failure here is most likely a result of using an old version of the GitHub Actions CI configuration. If you rebase on top of the master branch, I suspect that error will go away.