Opam Package libzipperposition.1.6

Package info

opam-namelibzipperposition
opam-version1.6
synopsisLibrary for Zipperposition
authors
  • Simon Cruanes
  • Petar Vukmirovic
  • Alexander Bentkamp
  • Sophie Tourret
  • Visa Nummelin
homepagehttps://github.com/sneeuwballen/zipperposition
readme-fileREADME.md
deps (11)
revdeps (2)
metas (3)
libraries (3)

Package modules

Package sources

libzipperposition

Package files

lib/libzipperposition/trail.mli
lib/libzipperposition/trail.ml
lib/libzipperposition/stream_intf.ml
lib/libzipperposition/streamQueue_intf.ml
lib/libzipperposition/streamQueue.mli
lib/libzipperposition/streamQueue.ml
lib/libzipperposition/stream.mli
lib/libzipperposition/stream.ml
lib/libzipperposition/simplM.mli
lib/libzipperposition/simplM.ml
lib/libzipperposition/signals.ml
lib/libzipperposition/selection.mli
lib/libzipperposition/selection.ml
lib/libzipperposition/saturate.mli
lib/libzipperposition/saturate.ml
lib/libzipperposition/sat_solver_intf.ml
lib/libzipperposition/sat_solver.mli
lib/libzipperposition/sat_solver.ml
lib/libzipperposition/proofState_intf.ml
lib/libzipperposition/proofState.mli
lib/libzipperposition/proofState.ml
lib/libzipperposition/phases/phases_impl.mli
lib/libzipperposition/phases/phases_impl.ml
lib/libzipperposition/phases/phases.mli
lib/libzipperposition/phases/phases.ml
lib/libzipperposition/phases/libzipperposition_phases__Phases_impl.cmx
lib/libzipperposition/phases/libzipperposition_phases__Phases_impl.cmti
lib/libzipperposition/phases/libzipperposition_phases__Phases_impl.cmt
lib/libzipperposition/phases/libzipperposition_phases__Phases_impl.cmi
lib/libzipperposition/phases/libzipperposition_phases__Phases.cmx
lib/libzipperposition/phases/libzipperposition_phases__Phases.cmti
lib/libzipperposition/phases/libzipperposition_phases__Phases.cmt
lib/libzipperposition/phases/libzipperposition_phases__Phases.cmi
lib/libzipperposition/phases/libzipperposition_phases__.ml
lib/libzipperposition/phases/libzipperposition_phases__.cmx
lib/libzipperposition/phases/libzipperposition_phases__.cmt
lib/libzipperposition/phases/libzipperposition_phases__.cmi
lib/libzipperposition/phases/libzipperposition_phases.mli
lib/libzipperposition/phases/libzipperposition_phases.ml
lib/libzipperposition/phases/libzipperposition_phases.cmxs
lib/libzipperposition/phases/libzipperposition_phases.cmxa
lib/libzipperposition/phases/libzipperposition_phases.cmx
lib/libzipperposition/phases/libzipperposition_phases.cmti
lib/libzipperposition/phases/libzipperposition_phases.cmt
lib/libzipperposition/phases/libzipperposition_phases.cmi
lib/libzipperposition/phases/libzipperposition_phases.cma
lib/libzipperposition/phases/libzipperposition_phases.a
lib/libzipperposition/phases
lib/libzipperposition/params.mli
lib/libzipperposition/params.ml
lib/libzipperposition/opam
lib/libzipperposition/libzipperposition__Trail.cmx
lib/libzipperposition/libzipperposition__Trail.cmti
lib/libzipperposition/libzipperposition__Trail.cmt
lib/libzipperposition/libzipperposition__Trail.cmi
lib/libzipperposition/libzipperposition__Stream_intf.cmx
lib/libzipperposition/libzipperposition__Stream_intf.cmt
lib/libzipperposition/libzipperposition__Stream_intf.cmi
lib/libzipperposition/libzipperposition__StreamQueue_intf.cmx
lib/libzipperposition/libzipperposition__StreamQueue_intf.cmt
lib/libzipperposition/libzipperposition__StreamQueue_intf.cmi
lib/libzipperposition/libzipperposition__StreamQueue.cmx
lib/libzipperposition/libzipperposition__StreamQueue.cmti
lib/libzipperposition/libzipperposition__StreamQueue.cmt
lib/libzipperposition/libzipperposition__StreamQueue.cmi
lib/libzipperposition/libzipperposition__Stream.cmx
lib/libzipperposition/libzipperposition__Stream.cmti
lib/libzipperposition/libzipperposition__Stream.cmt
lib/libzipperposition/libzipperposition__Stream.cmi
lib/libzipperposition/libzipperposition__SimplM.cmx
lib/libzipperposition/libzipperposition__SimplM.cmti
lib/libzipperposition/libzipperposition__SimplM.cmt
lib/libzipperposition/libzipperposition__SimplM.cmi
lib/libzipperposition/libzipperposition__Signals.cmx
lib/libzipperposition/libzipperposition__Signals.cmt
lib/libzipperposition/libzipperposition__Signals.cmi
lib/libzipperposition/libzipperposition__Selection.cmx
lib/libzipperposition/libzipperposition__Selection.cmti
lib/libzipperposition/libzipperposition__Selection.cmt
lib/libzipperposition/libzipperposition__Selection.cmi
lib/libzipperposition/libzipperposition__Saturate.cmx
lib/libzipperposition/libzipperposition__Saturate.cmti
lib/libzipperposition/libzipperposition__Saturate.cmt
lib/libzipperposition/libzipperposition__Saturate.cmi
lib/libzipperposition/libzipperposition__Sat_solver_intf.cmx
lib/libzipperposition/libzipperposition__Sat_solver_intf.cmt
lib/libzipperposition/libzipperposition__Sat_solver_intf.cmi
lib/libzipperposition/libzipperposition__Sat_solver.cmx
lib/libzipperposition/libzipperposition__Sat_solver.cmti
lib/libzipperposition/libzipperposition__Sat_solver.cmt
lib/libzipperposition/libzipperposition__Sat_solver.cmi
lib/libzipperposition/libzipperposition__SClause.cmx
lib/libzipperposition/libzipperposition__SClause.cmti
lib/libzipperposition/libzipperposition__SClause.cmt
lib/libzipperposition/libzipperposition__SClause.cmi
lib/libzipperposition/libzipperposition__ProofState_intf.cmx
lib/libzipperposition/libzipperposition__ProofState_intf.cmt
lib/libzipperposition/libzipperposition__ProofState_intf.cmi
lib/libzipperposition/libzipperposition__ProofState.cmx
lib/libzipperposition/libzipperposition__ProofState.cmti
lib/libzipperposition/libzipperposition__ProofState.cmt
lib/libzipperposition/libzipperposition__ProofState.cmi
lib/libzipperposition/libzipperposition__Params.cmx
lib/libzipperposition/libzipperposition__Params.cmti
lib/libzipperposition/libzipperposition__Params.cmt
lib/libzipperposition/libzipperposition__Params.cmi
lib/libzipperposition/libzipperposition__Ind_cst.cmx
lib/libzipperposition/libzipperposition__Ind_cst.cmti
lib/libzipperposition/libzipperposition__Ind_cst.cmt
lib/libzipperposition/libzipperposition__Ind_cst.cmi
lib/libzipperposition/libzipperposition__Extensions.cmx
lib/libzipperposition/libzipperposition__Extensions.cmti
lib/libzipperposition/libzipperposition__Extensions.cmt
lib/libzipperposition/libzipperposition__Extensions.cmi
lib/libzipperposition/libzipperposition__Eprover_interface.cmx
lib/libzipperposition/libzipperposition__Eprover_interface.cmti
lib/libzipperposition/libzipperposition__Eprover_interface.cmt
lib/libzipperposition/libzipperposition__Eprover_interface.cmi
lib/libzipperposition/libzipperposition__Env_intf.cmx
lib/libzipperposition/libzipperposition__Env_intf.cmt
lib/libzipperposition/libzipperposition__Env_intf.cmi
lib/libzipperposition/libzipperposition__Env.cmx
lib/libzipperposition/libzipperposition__Env.cmti
lib/libzipperposition/libzipperposition__Env.cmt
lib/libzipperposition/libzipperposition__Env.cmi
lib/libzipperposition/libzipperposition__Cut_form.cmx
lib/libzipperposition/libzipperposition__Cut_form.cmti
lib/libzipperposition/libzipperposition__Cut_form.cmt
lib/libzipperposition/libzipperposition__Cut_form.cmi
lib/libzipperposition/libzipperposition__Ctx_intf.cmx
lib/libzipperposition/libzipperposition__Ctx_intf.cmt
lib/libzipperposition/libzipperposition__Ctx_intf.cmi
lib/libzipperposition/libzipperposition__Ctx.cmx
lib/libzipperposition/libzipperposition__Ctx.cmti
lib/libzipperposition/libzipperposition__Ctx.cmt
lib/libzipperposition/libzipperposition__Ctx.cmi
lib/libzipperposition/libzipperposition__Cover_set.cmx
lib/libzipperposition/libzipperposition__Cover_set.cmti
lib/libzipperposition/libzipperposition__Cover_set.cmt
lib/libzipperposition/libzipperposition__Cover_set.cmi
lib/libzipperposition/libzipperposition__Const.cmx
lib/libzipperposition/libzipperposition__Const.cmt
lib/libzipperposition/libzipperposition__Const.cmi
lib/libzipperposition/libzipperposition__Clause_intf.cmx
lib/libzipperposition/libzipperposition__Clause_intf.cmt
lib/libzipperposition/libzipperposition__Clause_intf.cmi
lib/libzipperposition/libzipperposition__ClauseQueue_intf.cmx
lib/libzipperposition/libzipperposition__ClauseQueue_intf.cmt
lib/libzipperposition/libzipperposition__ClauseQueue_intf.cmi
lib/libzipperposition/libzipperposition__ClauseQueue.cmx
lib/libzipperposition/libzipperposition__ClauseQueue.cmti
lib/libzipperposition/libzipperposition__ClauseQueue.cmt
lib/libzipperposition/libzipperposition__ClauseQueue.cmi
lib/libzipperposition/libzipperposition__ClauseContext.cmx
lib/libzipperposition/libzipperposition__ClauseContext.cmti
lib/libzipperposition/libzipperposition__ClauseContext.cmt
lib/libzipperposition/libzipperposition__ClauseContext.cmi
lib/libzipperposition/libzipperposition__Clause.cmx
lib/libzipperposition/libzipperposition__Clause.cmti
lib/libzipperposition/libzipperposition__Clause.cmt
lib/libzipperposition/libzipperposition__Clause.cmi
lib/libzipperposition/libzipperposition__Classify_cst.cmx
lib/libzipperposition/libzipperposition__Classify_cst.cmti
lib/libzipperposition/libzipperposition__Classify_cst.cmt
lib/libzipperposition/libzipperposition__Classify_cst.cmi
lib/libzipperposition/libzipperposition__Bool_lit_intf.cmx
lib/libzipperposition/libzipperposition__Bool_lit_intf.cmt
lib/libzipperposition/libzipperposition__Bool_lit_intf.cmi
lib/libzipperposition/libzipperposition__Bool_lit.cmx
lib/libzipperposition/libzipperposition__Bool_lit.cmti
lib/libzipperposition/libzipperposition__Bool_lit.cmt
lib/libzipperposition/libzipperposition__Bool_lit.cmi
lib/libzipperposition/libzipperposition__Bool_clause.cmx
lib/libzipperposition/libzipperposition__Bool_clause.cmti
lib/libzipperposition/libzipperposition__Bool_clause.cmt
lib/libzipperposition/libzipperposition__Bool_clause.cmi
lib/libzipperposition/libzipperposition__BBox.cmx
lib/libzipperposition/libzipperposition__BBox.cmti
lib/libzipperposition/libzipperposition__BBox.cmt
lib/libzipperposition/libzipperposition__BBox.cmi
lib/libzipperposition/libzipperposition__AC_intf.cmx
lib/libzipperposition/libzipperposition__AC_intf.cmt
lib/libzipperposition/libzipperposition__AC_intf.cmi
lib/libzipperposition/libzipperposition__AC.cmx
lib/libzipperposition/libzipperposition__AC.cmti
lib/libzipperposition/libzipperposition__AC.cmt
lib/libzipperposition/libzipperposition__AC.cmi
lib/libzipperposition/libzipperposition.ml
lib/libzipperposition/libzipperposition.cmxs
lib/libzipperposition/libzipperposition.cmxa
lib/libzipperposition/libzipperposition.cmx
lib/libzipperposition/libzipperposition.cmt
lib/libzipperposition/libzipperposition.cmi
lib/libzipperposition/libzipperposition.cma
lib/libzipperposition/libzipperposition.a
lib/libzipperposition/extensions.mli
lib/libzipperposition/extensions.ml
lib/libzipperposition/eprover_interface.mli
lib/libzipperposition/eprover_interface.ml
lib/libzipperposition/env_intf.ml
lib/libzipperposition/env.mli
lib/libzipperposition/env.ml
lib/libzipperposition/dune-package
lib/libzipperposition/ctx_intf.ml
lib/libzipperposition/ctx.mli
lib/libzipperposition/ctx.ml
lib/libzipperposition/const.ml
lib/libzipperposition/clause_intf.ml
lib/libzipperposition/clauseQueue_intf.ml
lib/libzipperposition/clauseQueue.mli
lib/libzipperposition/clauseQueue.ml
lib/libzipperposition/clauseContext.mli
lib/libzipperposition/clauseContext.ml
lib/libzipperposition/clause.mli
lib/libzipperposition/clause.ml
lib/libzipperposition/calculi/superposition_intf.ml
lib/libzipperposition/calculi/superposition.mli
lib/libzipperposition/calculi/superposition.ml
lib/libzipperposition/calculi/simplex.mli
lib/libzipperposition/calculi/simplex.ml
lib/libzipperposition/calculi/libzipperposition_calculi__Superposition_intf.cmx
lib/libzipperposition/calculi/libzipperposition_calculi__Superposition_intf.cmt
lib/libzipperposition/calculi/libzipperposition_calculi__Superposition_intf.cmi
lib/libzipperposition/calculi/libzipperposition_calculi__Superposition.cmx
lib/libzipperposition/calculi/libzipperposition_calculi__Superposition.cmti
lib/libzipperposition/calculi/libzipperposition_calculi__Superposition.cmt
lib/libzipperposition/calculi/libzipperposition_calculi__Superposition.cmi
lib/libzipperposition/calculi/libzipperposition_calculi__Simplex.cmx
lib/libzipperposition/calculi/libzipperposition_calculi__Simplex.cmti
lib/libzipperposition/calculi/libzipperposition_calculi__Simplex.cmt
lib/libzipperposition/calculi/libzipperposition_calculi__Simplex.cmi
lib/libzipperposition/calculi/libzipperposition_calculi__Rewriting.cmx
lib/libzipperposition/calculi/libzipperposition_calculi__Rewriting.cmti
lib/libzipperposition/calculi/libzipperposition_calculi__Rewriting.cmt
lib/libzipperposition/calculi/libzipperposition_calculi__Rewriting.cmi
lib/libzipperposition/calculi/libzipperposition_calculi__Induction_intf.cmx
lib/libzipperposition/calculi/libzipperposition_calculi__Induction_intf.cmt
lib/libzipperposition/calculi/libzipperposition_calculi__Induction_intf.cmi
lib/libzipperposition/calculi/libzipperposition_calculi__Induction.cmx
lib/libzipperposition/calculi/libzipperposition_calculi__Induction.cmti
lib/libzipperposition/calculi/libzipperposition_calculi__Induction.cmt
lib/libzipperposition/calculi/libzipperposition_calculi__Induction.cmi
lib/libzipperposition/calculi/libzipperposition_calculi__Ind_types.cmx
lib/libzipperposition/calculi/libzipperposition_calculi__Ind_types.cmti
lib/libzipperposition/calculi/libzipperposition_calculi__Ind_types.cmt
lib/libzipperposition/calculi/libzipperposition_calculi__Ind_types.cmi
lib/libzipperposition/calculi/libzipperposition_calculi__Higher_order.cmx
lib/libzipperposition/calculi/libzipperposition_calculi__Higher_order.cmti
lib/libzipperposition/calculi/libzipperposition_calculi__Higher_order.cmt
lib/libzipperposition/calculi/libzipperposition_calculi__Higher_order.cmi
lib/libzipperposition/calculi/libzipperposition_calculi__Heuristics.cmx
lib/libzipperposition/calculi/libzipperposition_calculi__Heuristics.cmti
lib/libzipperposition/calculi/libzipperposition_calculi__Heuristics.cmt
lib/libzipperposition/calculi/libzipperposition_calculi__Heuristics.cmi
lib/libzipperposition/calculi/libzipperposition_calculi__Fool.cmx
lib/libzipperposition/calculi/libzipperposition_calculi__Fool.cmti
lib/libzipperposition/calculi/libzipperposition_calculi__Fool.cmt
lib/libzipperposition/calculi/libzipperposition_calculi__Fool.cmi
lib/libzipperposition/calculi/libzipperposition_calculi__EnumTypes.cmx
lib/libzipperposition/calculi/libzipperposition_calculi__EnumTypes.cmti
lib/libzipperposition/calculi/libzipperposition_calculi__EnumTypes.cmt
lib/libzipperposition/calculi/libzipperposition_calculi__EnumTypes.cmi
lib/libzipperposition/calculi/libzipperposition_calculi__Booleans.cmx
lib/libzipperposition/calculi/libzipperposition_calculi__Booleans.cmti
lib/libzipperposition/calculi/libzipperposition_calculi__Booleans.cmt
lib/libzipperposition/calculi/libzipperposition_calculi__Booleans.cmi
lib/libzipperposition/calculi/libzipperposition_calculi__Avatar_intf.cmx
lib/libzipperposition/calculi/libzipperposition_calculi__Avatar_intf.cmt
lib/libzipperposition/calculi/libzipperposition_calculi__Avatar_intf.cmi
lib/libzipperposition/calculi/libzipperposition_calculi__Avatar.cmx
lib/libzipperposition/calculi/libzipperposition_calculi__Avatar.cmti
lib/libzipperposition/calculi/libzipperposition_calculi__Avatar.cmt
lib/libzipperposition/calculi/libzipperposition_calculi__Avatar.cmi
lib/libzipperposition/calculi/libzipperposition_calculi__Arith_rat.cmx
lib/libzipperposition/calculi/libzipperposition_calculi__Arith_rat.cmti
lib/libzipperposition/calculi/libzipperposition_calculi__Arith_rat.cmt
lib/libzipperposition/calculi/libzipperposition_calculi__Arith_rat.cmi
lib/libzipperposition/calculi/libzipperposition_calculi__Arith_int.cmx
lib/libzipperposition/calculi/libzipperposition_calculi__Arith_int.cmti
lib/libzipperposition/calculi/libzipperposition_calculi__Arith_int.cmt
lib/libzipperposition/calculi/libzipperposition_calculi__Arith_int.cmi
lib/libzipperposition/calculi/libzipperposition_calculi__App_encode.cmx
lib/libzipperposition/calculi/libzipperposition_calculi__App_encode.cmt
lib/libzipperposition/calculi/libzipperposition_calculi__App_encode.cmi
lib/libzipperposition/calculi/libzipperposition_calculi.ml
lib/libzipperposition/calculi/libzipperposition_calculi.cmxs
lib/libzipperposition/calculi/libzipperposition_calculi.cmxa
lib/libzipperposition/calculi/libzipperposition_calculi.cmx
lib/libzipperposition/calculi/libzipperposition_calculi.cmt
lib/libzipperposition/calculi/libzipperposition_calculi.cmi
lib/libzipperposition/calculi/libzipperposition_calculi.cma
lib/libzipperposition/calculi/libzipperposition_calculi.a
lib/libzipperposition/calculi/induction_intf.ml
lib/libzipperposition/calculi/induction.mli
lib/libzipperposition/calculi/induction.ml
lib/libzipperposition/calculi/ind_types.mli
lib/libzipperposition/calculi/ind_types.ml
lib/libzipperposition/calculi/heuristics.mli
lib/libzipperposition/calculi/heuristics.ml
lib/libzipperposition/calculi/fool.mli
lib/libzipperposition/calculi/fool.ml
lib/libzipperposition/calculi/enumTypes.mli
lib/libzipperposition/calculi/enumTypes.ml
lib/libzipperposition/calculi/booleans.mli
lib/libzipperposition/calculi/booleans.ml
lib/libzipperposition/calculi/avatar_intf.ml
lib/libzipperposition/calculi/avatar.mli
lib/libzipperposition/calculi/avatar.ml
lib/libzipperposition/calculi/app_encode.ml
lib/libzipperposition/calculi/Rewriting.mli
lib/libzipperposition/calculi/Rewriting.ml
lib/libzipperposition/calculi/Higher_order.mli
lib/libzipperposition/calculi/Higher_order.ml
lib/libzipperposition/calculi/Arith_rat.mli
lib/libzipperposition/calculi/Arith_rat.ml
lib/libzipperposition/calculi/Arith_int.mli
lib/libzipperposition/calculi/Arith_int.ml
lib/libzipperposition/calculi
lib/libzipperposition/bool_lit_intf.ml
lib/libzipperposition/bool_lit.mli
lib/libzipperposition/bool_lit.ml
lib/libzipperposition/bBox.mli
lib/libzipperposition/bBox.ml
lib/libzipperposition/SClause.mli
lib/libzipperposition/SClause.ml
lib/libzipperposition/META
lib/libzipperposition/Ind_cst.mli
lib/libzipperposition/Ind_cst.ml
lib/libzipperposition/Cut_form.mli
lib/libzipperposition/Cut_form.ml
lib/libzipperposition/Cover_set.mli
lib/libzipperposition/Cover_set.ml
lib/libzipperposition/Classify_cst.mli
lib/libzipperposition/Classify_cst.ml
lib/libzipperposition/Bool_clause.mli
lib/libzipperposition/Bool_clause.ml
lib/libzipperposition/AC_intf.ml
lib/libzipperposition/AC.mli
lib/libzipperposition/AC.ml
lib/libzipperposition
doc/libzipperposition/README.md
doc/libzipperposition/LICENSE
doc/libzipperposition/CHANGELOG.md
doc/libzipperposition