Merge pull request #39 from elsoroka/dev

Fix the Docs build issue

.github/workflows/ci.yml

@@ -20,6 +20,7 @@ jobs:
 
       - name: Set up Julia latest version
         uses: julia-actions/setup-julia@latest
+      - uses: julia-actions/cache@v1
 
       - name: Run tests
         uses: julia-actions/julia-buildpkg@v1

.github/workflows/docs.yml

@@ -16,11 +16,9 @@ jobs:
       steps:
         - name: Setup z3
           run: sudo apt-get -y install z3
-        - name: Setup cvc5
-          run: curl -o /usr/local/bin/cvc5 -L https://github.com/cvc5/cvc5/releases/latest/download/cvc5-Linux && chmod +x /usr/local/bin/cvc5
         - uses: actions/checkout@v4
+        - uses: julia-actions/cache@v1
         - uses: julia-actions/julia-buildpkg@v1
         - uses: julia-actions/julia-docdeploy@v1
           env:
             GITHUB_TOKEN: ${{ secrets.DOCS_GITHUB_TOKEN }}
-            JULIA_DEBUG: "Documenter"

docs/make.jl

@@ -1,7 +1,6 @@
 # CALL THIS FILE FROM ../ (call `julia docs/make.jl`)
 using Documenter
 push!(LOAD_PATH, "$(pwd())/src/")
-ENV["JULIA_DEBUG"] = Documenter
 
 using Satisfiability
 

docs/src/example_bad_assertions.md

@@ -9,7 +9,7 @@ using Satisfiability
 @satvariable(z, Bool)
 necessary_exprs = or(and(not(x), y, z), and(not(y), x, z))
 
-interactive_solver = open(CVC5())
+interactive_solver = open(Z3())
 ```
 We assert this at the first level, since we always have to have it.
 ```julia

docs/src/example_bv_lcg.md

@@ -39,7 +39,7 @@ expr = and(and(transitions), and(remainders))
 ```
 Solve the problem and inspect the solution.
 ```@example 1
-status = sat!(expr, solver=CVC5())
+status = sat!(expr, solver=Z3())
 println("status = $status")
 
 for (i,state) in enumerate(states)