colibri2 0.4

Libraries

This package provides the following libraries (via ocamlobjinfo):

colibri2.core

Documentation:

• Colibri2_core Colibri2 core: define basic types and the solver

colibri2.popop_lib

Documentation:

• Colibri2_popop_lib

colibri2.solver

Documentation:

• Colibri2_solver

colibri2.stdlib

Documentation:

• Colibri2_stdlib

colibri2.theories.LRA

Documentation:

• Colibri2_theories_LRA

colibri2.theories.LRA.stages.compare_stage

Documentation:

• Colibri2_theories_LRA_stages_compare_stage

colibri2.theories.LRA.stages.def

Documentation:

• Colibri2_theories_LRA_stages_def

colibri2.theories.LRA.stages.stage0

Documentation:

• Colibri2_theories_LRA_stages

colibri2.theories.LRA.stages.stage0.sign_domain

Documentation:

• Colibri2_theories_LRA_stages_stage0_sign_domain

colibri2.theories.LRA.stages.stage2

Documentation:

• Colibri2_theories_LRA_stages

colibri2.theories.LRA.stages.stage2.union_domain

Documentation:

• Colibri2_theories_LRA_stages_stage2_union_domain

colibri2.theories.adt

Documentation:

• Colibri2_theories_adt

colibri2.theories.array

Documentation:

• Colibri2_theories_array

colibri2.theories.bool

Documentation:

• Colibri2_theories_bool

colibri2.theories.fp

Documentation:

• Colibri2_theories_fp

colibri2.theories.nseq

Documentation:

• Colibri2_theories_nseq

colibri2.theories.quantifiers

Documentation:

• Colibri2_theories_quantifiers