search

elsoroka / Satisfiability.jl

Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
https://elsoroka.github.io/Satisfiability.jl/
MIT License
28 stars 4 forks source link

Automatically download Z3 if not already installed #43

Closed elsoroka closed 3 months ago

elsoroka commented 3 months ago

Credit to @mykelk for this! Also fixed issue #42, undefined n variable in README

codecov-commenter commented 3 months ago

Codecov Report

Attention: Patch coverage is 33.33333% with 2 lines in your changes are missing coverage. Please review.

Project coverage is 87.86%. Comparing base (a9868c7) to head (51337b3). Report is 2 commits behind head on main.

Files Patch % Lines
src/call_solver.jl 33.33% 2 Missing :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #43 +/- ## ========================================== - Coverage 87.95% 87.86% -0.09% ========================================== Files 12 12 Lines 996 997 +1 ========================================== Hits 876 876 - Misses 120 121 +1 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.