Lisa Z3 sõltuvus

Author: sim642

README.md

@@ -24,6 +24,13 @@
     * Väljund peaks olema `Hello, OCaml!`.
 
 
+## Uuendamine
+1. Navigeeri käsureal kloonitud projekti repositooriumi kausta.
+2. Käivita: `eval $(opam env)`
+3. Käivita: `opam update`
+4. Käivita: `opam install --deps-only --locked -y .` (NB! punkt)
+
+
 ## Kasutamine
 1. Navigeeri käsureal kloonitud projekti repositooriumi kausta.
 2. Käivita: `eval $(opam env)`

aktsp2026.opam

@@ -10,6 +10,7 @@ depends: [
   "ocamlgraph"
   "ppx_deriving"
   "ppx_deriving_hash"
+  "z3"
   "ounit2"
   "qcheck-ounit" {>= "0.91"}
   "ocaml-lsp-server"

aktsp2026.opam.locked

@@ -18,6 +18,10 @@ depends: [
   "base-unix" {= "base"}
   "camlp-streams" {= "5.0.1"}
   "chrome-trace" {= "3.21.0"}
+  "conf-c++" {= "1.0"}
+  "conf-gmp" {= "5"}
+  "conf-pkg-config" {= "4"}
+  "conf-python-3" {= "9.0.0"}
   "cppo" {= "1.8.0"}
   "csexp" {= "1.5.2"}
   "dune" {= "3.21.0"}
@@ -79,6 +83,8 @@ depends: [
   "uutf" {= "1.0.4"}
   "xdg" {= "3.21.0"}
   "yojson" {= "3.0.0"}
+  "z3" {= "4.15.2"}
+  "zarith" {= "1.14"}
   "zed" {= "3.2.3"}
 ]
 build: [

dune-project

@@ -14,6 +14,7 @@
   ocamlgraph
   ppx_deriving
   ppx_deriving_hash
+  z3
   ounit2
   (qcheck-ounit (>= 0.91))
   ocaml-lsp-server