(lang dune 3.17)
(name bitwuzla-cxx)
(version 0.9.0)
(sections
 (lib /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/bitwuzla-cxx)
 (libexec /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/bitwuzla-cxx)
 (doc /usr/doc/bitwuzla-cxx)
 (stublibs /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/stublibs))
(files
 (lib
  (META
   bitwuzla_cxx.a
   bitwuzla_cxx.cma
   bitwuzla_cxx.cmi
   bitwuzla_cxx.cmt
   bitwuzla_cxx.cmti
   bitwuzla_cxx.cmx
   bitwuzla_cxx.cmxa
   bitwuzla_cxx.ml
   bitwuzla_cxx.mli
   bitwuzla_cxx__.cmi
   bitwuzla_cxx__.cmt
   bitwuzla_cxx__.cmx
   bitwuzla_cxx__.ml
   bitwuzla_cxx__Kind.cmi
   bitwuzla_cxx__Kind.cmt
   bitwuzla_cxx__Kind.cmx
   bitwuzla_cxx__Manager.cmi
   bitwuzla_cxx__Manager.cmt
   bitwuzla_cxx__Manager.cmx
   bitwuzla_cxx__Options.cmi
   bitwuzla_cxx__Options.cmt
   bitwuzla_cxx__Options.cmx
   bitwuzla_cxx__Result.cmi
   bitwuzla_cxx__Result.cmt
   bitwuzla_cxx__Result.cmx
   bitwuzla_cxx__RoundingMode.cmi
   bitwuzla_cxx__RoundingMode.cmt
   bitwuzla_cxx__RoundingMode.cmx
   bitwuzla_cxx__Solver.cmi
   bitwuzla_cxx__Solver.cmt
   bitwuzla_cxx__Solver.cmx
   bitwuzla_cxx__Sort.cmi
   bitwuzla_cxx__Sort.cmt
   bitwuzla_cxx__Sort.cmx
   bitwuzla_cxx__Term.cmi
   bitwuzla_cxx__Term.cmt
   bitwuzla_cxx__Term.cmx
   dune-package
   kind.ml
   libbitwuzla-cxx.a
   libbitwuzla-libs.a
   libbitwuzla-smt2.a
   libbitwuzla-utils.a
   libbitwuzla_cxx_stubs.a
   libcadical.a
   libcryptominisat.a
   libkissat.a
   libpicosat.a
   manager.ml
   opam
   options.ml
   result.ml
   roundingMode.ml
   solver.ml
   sort.ml
   term.ml))
 (libexec (bitwuzla_cxx.cmxs))
 (doc (CHANGES.md LICENSE.md README.md odoc-pages/index.mld))
 (stublibs
  (dllbitwuzla-cxx.so
   dllbitwuzla-libs.so
   dllbitwuzla-smt2.so
   dllbitwuzla-utils.so
   dllbitwuzla_cxx_stubs.so
   dllcadical.so
   dllcryptominisat.so
   dllkissat.so
   dllpicosat.so)))
(library
 (name bitwuzla-cxx)
 (kind normal)
 (archives (byte bitwuzla_cxx.cma) (native bitwuzla_cxx.cmxa))
 (plugins (byte bitwuzla_cxx.cma) (native bitwuzla_cxx.cmxs))
 (foreign_objects cxx_stubs.o cxx_utils.o)
 (foreign_archives
  (archives
   (for all)
   (files
    libbitwuzla_cxx_stubs.a
    libbitwuzla-cxx.a
    libbitwuzla-smt2.a
    libbitwuzla-libs.a
    libbitwuzla-utils.a
    libcadical.a
    libcryptominisat.a
    libpicosat.a
    libkissat.a)))
 (foreign_dll_files
  ../stublibs/dllbitwuzla_cxx_stubs.so
  ../stublibs/dllbitwuzla-cxx.so
  ../stublibs/dllbitwuzla-smt2.so
  ../stublibs/dllbitwuzla-libs.so
  ../stublibs/dllbitwuzla-utils.so
  ../stublibs/dllcadical.so
  ../stublibs/dllcryptominisat.so
  ../stublibs/dllpicosat.so
  ../stublibs/dllkissat.so)
 (native_archives bitwuzla_cxx.a)
 (requires zarith)
 (main_module_name Bitwuzla_cxx)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name bitwuzla_cxx__)
     (visibility public)
     (kind alias)
     (source (path Bitwuzla_cxx__) (impl (path bitwuzla_cxx__.ml-gen))))
    (name Bitwuzla_cxx)
    (modules
     (module
      (obj_name bitwuzla_cxx)
      (visibility public)
      (source
       (path Bitwuzla_cxx)
       (intf (path bitwuzla_cxx.mli))
       (impl (path bitwuzla_cxx.ml))))
     (module
      (obj_name bitwuzla_cxx__Kind)
      (visibility public)
      (source (path Kind) (impl (path kind.ml))))
     (module
      (obj_name bitwuzla_cxx__Manager)
      (visibility public)
      (source (path Manager) (impl (path manager.ml))))
     (module
      (obj_name bitwuzla_cxx__Options)
      (visibility public)
      (source (path Options) (impl (path options.ml))))
     (module
      (obj_name bitwuzla_cxx__Result)
      (visibility public)
      (source (path Result) (impl (path result.ml))))
     (module
      (obj_name bitwuzla_cxx__RoundingMode)
      (visibility public)
      (source (path RoundingMode) (impl (path roundingMode.ml))))
     (module
      (obj_name bitwuzla_cxx__Solver)
      (visibility public)
      (source (path Solver) (impl (path solver.ml))))
     (module
      (obj_name bitwuzla_cxx__Sort)
      (visibility public)
      (source (path Sort) (impl (path sort.ml))))
     (module
      (obj_name bitwuzla_cxx__Term)
      (visibility public)
      (source (path Term) (impl (path term.ml))))))
   (wrapped true))))
