wasp-platform/encoding

This is stars and forks stats for /wasp-platform/encoding repository. As of 10 May, 2024 this repository has 3 stars and 5 forks.

OCaml Constraint Abstraction Layer The OCaml Constraint Abstraction Layer (OCAL) serves as an abstracted constraint-solving wrapper, currently utilising Z3 as its backend solver. However, future plans for OCAL include support for other solvers in its backend, such as Yices and CVC5. Build from source Install opam. Bootstrap the OCaml compiler: opam init opam switch create 4.14.0 4.14.0 Then, install the library dependencies: git clone https://github.com/wasp-platform/encoding.git cd encoding opam...