Windows CI build is failing
TrevorHansen opened this issue · comments
The Appveyor windows build is currently failing. Has anyone taken a look at what's going wrong? Thanks.
Simple Theorem Prover, an efficient SMT solver for bitvectors
TrevorHansen opened this issue · comments
The Appveyor windows build is currently failing. Has anyone taken a look at what's going wrong? Thanks.