(lang dune 3.4)
(name alt-ergo-lib)
(version 2.3.3)
(sections
 (lib /usr/lib64/ocaml/alt-ergo-lib)
 (libexec /usr/lib64/ocaml/alt-ergo-lib)
 (doc /usr/doc/alt-ergo-lib))
(files
 (lib
  (AltErgoLib.a
   AltErgoLib.cma
   AltErgoLib.cmxa
   META
   ac.ml
   ac.mli
   adt.ml
   adt.mli
   adt_rel.ml
   adt_rel.mli
   altErgoLib.cmi
   altErgoLib.cmt
   altErgoLib.cmx
   altErgoLib.ml
   altErgoLib__Ac.cmi
   altErgoLib__Ac.cmt
   altErgoLib__Ac.cmti
   altErgoLib__Ac.cmx
   altErgoLib__Adt.cmi
   altErgoLib__Adt.cmt
   altErgoLib__Adt.cmti
   altErgoLib__Adt.cmx
   altErgoLib__Adt_rel.cmi
   altErgoLib__Adt_rel.cmt
   altErgoLib__Adt_rel.cmti
   altErgoLib__Adt_rel.cmx
   altErgoLib__Arith.cmi
   altErgoLib__Arith.cmt
   altErgoLib__Arith.cmti
   altErgoLib__Arith.cmx
   altErgoLib__Arrays.cmi
   altErgoLib__Arrays.cmt
   altErgoLib__Arrays.cmti
   altErgoLib__Arrays.cmx
   altErgoLib__Arrays_rel.cmi
   altErgoLib__Arrays_rel.cmt
   altErgoLib__Arrays_rel.cmti
   altErgoLib__Arrays_rel.cmx
   altErgoLib__Bitv.cmi
   altErgoLib__Bitv.cmt
   altErgoLib__Bitv.cmti
   altErgoLib__Bitv.cmx
   altErgoLib__Bitv_rel.cmi
   altErgoLib__Bitv_rel.cmt
   altErgoLib__Bitv_rel.cmti
   altErgoLib__Bitv_rel.cmx
   altErgoLib__Ccx.cmi
   altErgoLib__Ccx.cmt
   altErgoLib__Ccx.cmti
   altErgoLib__Ccx.cmx
   altErgoLib__Cnf.cmi
   altErgoLib__Cnf.cmt
   altErgoLib__Cnf.cmti
   altErgoLib__Cnf.cmx
   altErgoLib__Commands.cmi
   altErgoLib__Commands.cmt
   altErgoLib__Commands.cmti
   altErgoLib__Commands.cmx
   altErgoLib__Config.cmi
   altErgoLib__Config.cmt
   altErgoLib__Config.cmx
   altErgoLib__Emap.cmi
   altErgoLib__Emap.cmt
   altErgoLib__Emap.cmti
   altErgoLib__Emap.cmx
   altErgoLib__Enum.cmi
   altErgoLib__Enum.cmt
   altErgoLib__Enum.cmti
   altErgoLib__Enum.cmx
   altErgoLib__Enum_rel.cmi
   altErgoLib__Enum_rel.cmt
   altErgoLib__Enum_rel.cmti
   altErgoLib__Enum_rel.cmx
   altErgoLib__Errors.cmi
   altErgoLib__Errors.cmt
   altErgoLib__Errors.cmti
   altErgoLib__Errors.cmx
   altErgoLib__Explanation.cmi
   altErgoLib__Explanation.cmt
   altErgoLib__Explanation.cmti
   altErgoLib__Explanation.cmx
   altErgoLib__Expr.cmi
   altErgoLib__Expr.cmt
   altErgoLib__Expr.cmti
   altErgoLib__Expr.cmx
   altErgoLib__Fpa_rounding.cmi
   altErgoLib__Fpa_rounding.cmt
   altErgoLib__Fpa_rounding.cmti
   altErgoLib__Fpa_rounding.cmx
   altErgoLib__Frontend.cmi
   altErgoLib__Frontend.cmt
   altErgoLib__Frontend.cmti
   altErgoLib__Frontend.cmx
   altErgoLib__Fun_sat.cmi
   altErgoLib__Fun_sat.cmt
   altErgoLib__Fun_sat.cmti
   altErgoLib__Fun_sat.cmx
   altErgoLib__Gc_debug.cmi
   altErgoLib__Gc_debug.cmt
   altErgoLib__Gc_debug.cmti
   altErgoLib__Gc_debug.cmx
   altErgoLib__Hconsing.cmi
   altErgoLib__Hconsing.cmt
   altErgoLib__Hconsing.cmti
   altErgoLib__Hconsing.cmx
   altErgoLib__Hstring.cmi
   altErgoLib__Hstring.cmt
   altErgoLib__Hstring.cmti
   altErgoLib__Hstring.cmx
   altErgoLib__Iheap.cmi
   altErgoLib__Iheap.cmt
   altErgoLib__Iheap.cmti
   altErgoLib__Iheap.cmx
   altErgoLib__Inequalities.cmi
   altErgoLib__Inequalities.cmt
   altErgoLib__Inequalities.cmti
   altErgoLib__Inequalities.cmx
   altErgoLib__Input.cmi
   altErgoLib__Input.cmt
   altErgoLib__Input.cmti
   altErgoLib__Input.cmx
   altErgoLib__Instances.cmi
   altErgoLib__Instances.cmt
   altErgoLib__Instances.cmti
   altErgoLib__Instances.cmx
   altErgoLib__IntervalCalculus.cmi
   altErgoLib__IntervalCalculus.cmt
   altErgoLib__IntervalCalculus.cmti
   altErgoLib__IntervalCalculus.cmx
   altErgoLib__Intervals.cmi
   altErgoLib__Intervals.cmt
   altErgoLib__Intervals.cmti
   altErgoLib__Intervals.cmx
   altErgoLib__Ite.cmi
   altErgoLib__Ite.cmt
   altErgoLib__Ite.cmti
   altErgoLib__Ite.cmx
   altErgoLib__Ite_rel.cmi
   altErgoLib__Ite_rel.cmt
   altErgoLib__Ite_rel.cmti
   altErgoLib__Ite_rel.cmx
   altErgoLib__Lists.cmi
   altErgoLib__Lists.cmt
   altErgoLib__Lists.cmti
   altErgoLib__Lists.cmx
   altErgoLib__Loc.cmi
   altErgoLib__Loc.cmt
   altErgoLib__Loc.cmti
   altErgoLib__Loc.cmx
   altErgoLib__Matching.cmi
   altErgoLib__Matching.cmt
   altErgoLib__Matching.cmti
   altErgoLib__Matching.cmx
   altErgoLib__Matching_types.cmi
   altErgoLib__Matching_types.cmti
   altErgoLib__MyDynlink.cmi
   altErgoLib__MyDynlink.cmt
   altErgoLib__MyDynlink.cmti
   altErgoLib__MyDynlink.cmx
   altErgoLib__MyUnix.cmi
   altErgoLib__MyUnix.cmt
   altErgoLib__MyUnix.cmti
   altErgoLib__MyUnix.cmx
   altErgoLib__Numbers.cmi
   altErgoLib__Numbers.cmt
   altErgoLib__Numbers.cmti
   altErgoLib__Numbers.cmx
   altErgoLib__NumbersInterface.cmi
   altErgoLib__NumbersInterface.cmti
   altErgoLib__NumsNumbers.cmi
   altErgoLib__NumsNumbers.cmt
   altErgoLib__NumsNumbers.cmti
   altErgoLib__NumsNumbers.cmx
   altErgoLib__Options.cmi
   altErgoLib__Options.cmt
   altErgoLib__Options.cmti
   altErgoLib__Options.cmx
   altErgoLib__Parsed.cmi
   altErgoLib__Parsed.cmt
   altErgoLib__Parsed.cmti
   altErgoLib__Parsed.cmx
   altErgoLib__Parsed_interface.cmi
   altErgoLib__Parsed_interface.cmt
   altErgoLib__Parsed_interface.cmti
   altErgoLib__Parsed_interface.cmx
   altErgoLib__Polynome.cmi
   altErgoLib__Polynome.cmt
   altErgoLib__Polynome.cmti
   altErgoLib__Polynome.cmx
   altErgoLib__Profiling.cmi
   altErgoLib__Profiling.cmt
   altErgoLib__Profiling.cmti
   altErgoLib__Profiling.cmx
   altErgoLib__Records.cmi
   altErgoLib__Records.cmt
   altErgoLib__Records.cmti
   altErgoLib__Records.cmx
   altErgoLib__Records_rel.cmi
   altErgoLib__Records_rel.cmt
   altErgoLib__Records_rel.cmti
   altErgoLib__Records_rel.cmx
   altErgoLib__Relation.cmi
   altErgoLib__Relation.cmt
   altErgoLib__Relation.cmti
   altErgoLib__Relation.cmx
   altErgoLib__Sat_solver.cmi
   altErgoLib__Sat_solver.cmt
   altErgoLib__Sat_solver.cmti
   altErgoLib__Sat_solver.cmx
   altErgoLib__Sat_solver_sig.cmi
   altErgoLib__Sat_solver_sig.cmt
   altErgoLib__Sat_solver_sig.cmti
   altErgoLib__Sat_solver_sig.cmx
   altErgoLib__Satml.cmi
   altErgoLib__Satml.cmt
   altErgoLib__Satml.cmti
   altErgoLib__Satml.cmx
   altErgoLib__Satml_frontend.cmi
   altErgoLib__Satml_frontend.cmt
   altErgoLib__Satml_frontend.cmti
   altErgoLib__Satml_frontend.cmx
   altErgoLib__Satml_frontend_hybrid.cmi
   altErgoLib__Satml_frontend_hybrid.cmt
   altErgoLib__Satml_frontend_hybrid.cmti
   altErgoLib__Satml_frontend_hybrid.cmx
   altErgoLib__Satml_types.cmi
   altErgoLib__Satml_types.cmt
   altErgoLib__Satml_types.cmti
   altErgoLib__Satml_types.cmx
   altErgoLib__Shostak.cmi
   altErgoLib__Shostak.cmt
   altErgoLib__Shostak.cmti
   altErgoLib__Shostak.cmx
   altErgoLib__Sig.cmi
   altErgoLib__Sig.cmti
   altErgoLib__Sig_rel.cmi
   altErgoLib__Sig_rel.cmti
   altErgoLib__Symbols.cmi
   altErgoLib__Symbols.cmt
   altErgoLib__Symbols.cmti
   altErgoLib__Symbols.cmx
   altErgoLib__Th_util.cmi
   altErgoLib__Th_util.cmt
   altErgoLib__Th_util.cmti
   altErgoLib__Th_util.cmx
   altErgoLib__Theory.cmi
   altErgoLib__Theory.cmt
   altErgoLib__Theory.cmti
   altErgoLib__Theory.cmx
   altErgoLib__Timers.cmi
   altErgoLib__Timers.cmt
   altErgoLib__Timers.cmti
   altErgoLib__Timers.cmx
   altErgoLib__Ty.cmi
   altErgoLib__Ty.cmt
   altErgoLib__Ty.cmti
   altErgoLib__Ty.cmx
   altErgoLib__Typechecker.cmi
   altErgoLib__Typechecker.cmt
   altErgoLib__Typechecker.cmti
   altErgoLib__Typechecker.cmx
   altErgoLib__Typed.cmi
   altErgoLib__Typed.cmt
   altErgoLib__Typed.cmti
   altErgoLib__Typed.cmx
   altErgoLib__Uf.cmi
   altErgoLib__Uf.cmt
   altErgoLib__Uf.cmti
   altErgoLib__Uf.cmx
   altErgoLib__Use.cmi
   altErgoLib__Use.cmt
   altErgoLib__Use.cmti
   altErgoLib__Use.cmx
   altErgoLib__Util.cmi
   altErgoLib__Util.cmt
   altErgoLib__Util.cmti
   altErgoLib__Util.cmx
   altErgoLib__Var.cmi
   altErgoLib__Var.cmt
   altErgoLib__Var.cmti
   altErgoLib__Var.cmx
   altErgoLib__Vec.cmi
   altErgoLib__Vec.cmt
   altErgoLib__Vec.cmti
   altErgoLib__Vec.cmx
   altErgoLib__Version.cmi
   altErgoLib__Version.cmt
   altErgoLib__Version.cmti
   altErgoLib__Version.cmx
   altErgoLib__Xliteral.cmi
   altErgoLib__Xliteral.cmt
   altErgoLib__Xliteral.cmti
   altErgoLib__Xliteral.cmx
   altErgoLib__ZarithNumbers.cmi
   altErgoLib__ZarithNumbers.cmt
   altErgoLib__ZarithNumbers.cmti
   altErgoLib__ZarithNumbers.cmx
   arith.ml
   arith.mli
   arrays.ml
   arrays.mli
   arrays_rel.ml
   arrays_rel.mli
   bitv.ml
   bitv.mli
   bitv_rel.ml
   bitv_rel.mli
   ccx.ml
   ccx.mli
   cnf.ml
   cnf.mli
   commands.ml
   commands.mli
   config.ml
   dune-package
   emap.ml
   emap.mli
   enum.ml
   enum.mli
   enum_rel.ml
   enum_rel.mli
   errors.ml
   errors.mli
   explanation.ml
   explanation.mli
   expr.ml
   expr.mli
   fpa_rounding.ml
   fpa_rounding.mli
   frontend.ml
   frontend.mli
   fun_sat.ml
   fun_sat.mli
   gc_debug.ml
   gc_debug.mli
   hconsing.ml
   hconsing.mli
   hstring.ml
   hstring.mli
   iheap.ml
   iheap.mli
   inequalities.ml
   inequalities.mli
   input.ml
   input.mli
   instances.ml
   instances.mli
   intervalCalculus.ml
   intervalCalculus.mli
   intervals.ml
   intervals.mli
   ite.ml
   ite.mli
   ite_rel.ml
   ite_rel.mli
   lists.ml
   lists.mli
   loc.ml
   loc.mli
   matching.ml
   matching.mli
   matching_types.mli
   myDynlink.ml
   myDynlink.mli
   myUnix.ml
   myUnix.mli
   numbers.ml
   numbers.mli
   numbersInterface.mli
   numsNumbers.ml
   numsNumbers.mli
   opam
   options.ml
   options.mli
   parsed.ml
   parsed.mli
   parsed_interface.ml
   parsed_interface.mli
   polynome.ml
   polynome.mli
   profiling.ml
   profiling.mli
   records.ml
   records.mli
   records_rel.ml
   records_rel.mli
   relation.ml
   relation.mli
   sat_solver.ml
   sat_solver.mli
   sat_solver_sig.ml
   sat_solver_sig.mli
   satml.ml
   satml.mli
   satml_frontend.ml
   satml_frontend.mli
   satml_frontend_hybrid.ml
   satml_frontend_hybrid.mli
   satml_types.ml
   satml_types.mli
   shostak.ml
   shostak.mli
   sig.mli
   sig_rel.mli
   symbols.ml
   symbols.mli
   th_util.ml
   th_util.mli
   theory.ml
   theory.mli
   timers.ml
   timers.mli
   ty.ml
   ty.mli
   typechecker.ml
   typechecker.mli
   typed.ml
   typed.mli
   uf.ml
   uf.mli
   use.ml
   use.mli
   util.ml
   util.mli
   var.ml
   var.mli
   vec.ml
   vec.mli
   version.ml
   version.mli
   xliteral.ml
   xliteral.mli
   zarithNumbers.ml
   zarithNumbers.mli))
 (libexec (AltErgoLib.cmxs))
 (doc (CHANGES odoc-pages/index.mld)))
(library
 (name alt-ergo-lib)
 (kind normal)
 (archives (byte AltErgoLib.cma) (native AltErgoLib.cmxa))
 (plugins (byte AltErgoLib.cma) (native AltErgoLib.cmxs))
 (native_archives AltErgoLib.a)
 (requires unix num str zarith dynlink ocplib-simplex)
 (main_module_name AltErgoLib)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name AltErgoLib)
   (modules
    ((name Ac) (obj_name altErgoLib__Ac) (visibility public) (impl) (intf))
    ((name Adt) (obj_name altErgoLib__Adt) (visibility public) (impl) (intf))
    ((name Adt_rel)
     (obj_name altErgoLib__Adt_rel)
     (visibility public)
     (impl)
     (intf))
    ((name Arith)
     (obj_name altErgoLib__Arith)
     (visibility public)
     (impl)
     (intf))
    ((name Arrays)
     (obj_name altErgoLib__Arrays)
     (visibility public)
     (impl)
     (intf))
    ((name Arrays_rel)
     (obj_name altErgoLib__Arrays_rel)
     (visibility public)
     (impl)
     (intf))
    ((name Bitv)
     (obj_name altErgoLib__Bitv)
     (visibility public)
     (impl)
     (intf))
    ((name Bitv_rel)
     (obj_name altErgoLib__Bitv_rel)
     (visibility public)
     (impl)
     (intf))
    ((name Ccx) (obj_name altErgoLib__Ccx) (visibility public) (impl) (intf))
    ((name Cnf) (obj_name altErgoLib__Cnf) (visibility public) (impl) (intf))
    ((name Commands)
     (obj_name altErgoLib__Commands)
     (visibility public)
     (impl)
     (intf))
    ((name Config) (obj_name altErgoLib__Config) (visibility public) (impl))
    ((name Emap)
     (obj_name altErgoLib__Emap)
     (visibility public)
     (impl)
     (intf))
    ((name Enum)
     (obj_name altErgoLib__Enum)
     (visibility public)
     (impl)
     (intf))
    ((name Enum_rel)
     (obj_name altErgoLib__Enum_rel)
     (visibility public)
     (impl)
     (intf))
    ((name Errors)
     (obj_name altErgoLib__Errors)
     (visibility public)
     (impl)
     (intf))
    ((name Explanation)
     (obj_name altErgoLib__Explanation)
     (visibility public)
     (impl)
     (intf))
    ((name Expr)
     (obj_name altErgoLib__Expr)
     (visibility public)
     (impl)
     (intf))
    ((name Fpa_rounding)
     (obj_name altErgoLib__Fpa_rounding)
     (visibility public)
     (impl)
     (intf))
    ((name Frontend)
     (obj_name altErgoLib__Frontend)
     (visibility public)
     (impl)
     (intf))
    ((name Fun_sat)
     (obj_name altErgoLib__Fun_sat)
     (visibility public)
     (impl)
     (intf))
    ((name Gc_debug)
     (obj_name altErgoLib__Gc_debug)
     (visibility public)
     (impl)
     (intf))
    ((name Hconsing)
     (obj_name altErgoLib__Hconsing)
     (visibility public)
     (impl)
     (intf))
    ((name Hstring)
     (obj_name altErgoLib__Hstring)
     (visibility public)
     (impl)
     (intf))
    ((name Iheap)
     (obj_name altErgoLib__Iheap)
     (visibility public)
     (impl)
     (intf))
    ((name Inequalities)
     (obj_name altErgoLib__Inequalities)
     (visibility public)
     (impl)
     (intf))
    ((name Input)
     (obj_name altErgoLib__Input)
     (visibility public)
     (impl)
     (intf))
    ((name Instances)
     (obj_name altErgoLib__Instances)
     (visibility public)
     (impl)
     (intf))
    ((name IntervalCalculus)
     (obj_name altErgoLib__IntervalCalculus)
     (visibility public)
     (impl)
     (intf))
    ((name Intervals)
     (obj_name altErgoLib__Intervals)
     (visibility public)
     (impl)
     (intf))
    ((name Ite) (obj_name altErgoLib__Ite) (visibility public) (impl) (intf))
    ((name Ite_rel)
     (obj_name altErgoLib__Ite_rel)
     (visibility public)
     (impl)
     (intf))
    ((name Lists)
     (obj_name altErgoLib__Lists)
     (visibility public)
     (impl)
     (intf))
    ((name Loc) (obj_name altErgoLib__Loc) (visibility public) (impl) (intf))
    ((name Matching)
     (obj_name altErgoLib__Matching)
     (visibility public)
     (impl)
     (intf))
    ((name Matching_types)
     (obj_name altErgoLib__Matching_types)
     (visibility public)
     (intf))
    ((name MyDynlink)
     (obj_name altErgoLib__MyDynlink)
     (visibility public)
     (impl)
     (intf))
    ((name MyUnix)
     (obj_name altErgoLib__MyUnix)
     (visibility public)
     (impl)
     (intf))
    ((name Numbers)
     (obj_name altErgoLib__Numbers)
     (visibility public)
     (impl)
     (intf))
    ((name NumbersInterface)
     (obj_name altErgoLib__NumbersInterface)
     (visibility public)
     (intf))
    ((name NumsNumbers)
     (obj_name altErgoLib__NumsNumbers)
     (visibility public)
     (impl)
     (intf))
    ((name Options)
     (obj_name altErgoLib__Options)
     (visibility public)
     (impl)
     (intf))
    ((name Parsed)
     (obj_name altErgoLib__Parsed)
     (visibility public)
     (impl)
     (intf))
    ((name Parsed_interface)
     (obj_name altErgoLib__Parsed_interface)
     (visibility public)
     (impl)
     (intf))
    ((name Polynome)
     (obj_name altErgoLib__Polynome)
     (visibility public)
     (impl)
     (intf))
    ((name Profiling)
     (obj_name altErgoLib__Profiling)
     (visibility public)
     (impl)
     (intf))
    ((name Records)
     (obj_name altErgoLib__Records)
     (visibility public)
     (impl)
     (intf))
    ((name Records_rel)
     (obj_name altErgoLib__Records_rel)
     (visibility public)
     (impl)
     (intf))
    ((name Relation)
     (obj_name altErgoLib__Relation)
     (visibility public)
     (impl)
     (intf))
    ((name Sat_solver)
     (obj_name altErgoLib__Sat_solver)
     (visibility public)
     (impl)
     (intf))
    ((name Sat_solver_sig)
     (obj_name altErgoLib__Sat_solver_sig)
     (visibility public)
     (impl)
     (intf))
    ((name Satml)
     (obj_name altErgoLib__Satml)
     (visibility public)
     (impl)
     (intf))
    ((name Satml_frontend)
     (obj_name altErgoLib__Satml_frontend)
     (visibility public)
     (impl)
     (intf))
    ((name Satml_frontend_hybrid)
     (obj_name altErgoLib__Satml_frontend_hybrid)
     (visibility public)
     (impl)
     (intf))
    ((name Satml_types)
     (obj_name altErgoLib__Satml_types)
     (visibility public)
     (impl)
     (intf))
    ((name Shostak)
     (obj_name altErgoLib__Shostak)
     (visibility public)
     (impl)
     (intf))
    ((name Sig) (obj_name altErgoLib__Sig) (visibility public) (intf))
    ((name Sig_rel) (obj_name altErgoLib__Sig_rel) (visibility public) (intf))
    ((name Symbols)
     (obj_name altErgoLib__Symbols)
     (visibility public)
     (impl)
     (intf))
    ((name Th_util)
     (obj_name altErgoLib__Th_util)
     (visibility public)
     (impl)
     (intf))
    ((name Theory)
     (obj_name altErgoLib__Theory)
     (visibility public)
     (impl)
     (intf))
    ((name Timers)
     (obj_name altErgoLib__Timers)
     (visibility public)
     (impl)
     (intf))
    ((name Ty) (obj_name altErgoLib__Ty) (visibility public) (impl) (intf))
    ((name Typechecker)
     (obj_name altErgoLib__Typechecker)
     (visibility public)
     (impl)
     (intf))
    ((name Typed)
     (obj_name altErgoLib__Typed)
     (visibility public)
     (impl)
     (intf))
    ((name Uf) (obj_name altErgoLib__Uf) (visibility public) (impl) (intf))
    ((name Use) (obj_name altErgoLib__Use) (visibility public) (impl) (intf))
    ((name Util)
     (obj_name altErgoLib__Util)
     (visibility public)
     (impl)
     (intf))
    ((name Var) (obj_name altErgoLib__Var) (visibility public) (impl) (intf))
    ((name Vec) (obj_name altErgoLib__Vec) (visibility public) (impl) (intf))
    ((name Version)
     (obj_name altErgoLib__Version)
     (visibility public)
     (impl)
     (intf))
    ((name Xliteral)
     (obj_name altErgoLib__Xliteral)
     (visibility public)
     (impl)
     (intf))
    ((name ZarithNumbers)
     (obj_name altErgoLib__ZarithNumbers)
     (visibility public)
     (impl)
     (intf)))
   (alias_module
    (name AltErgoLib)
    (obj_name altErgoLib)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
