[ol7_developer_EPEL] gecode-devel-4.4.0-1.el7.aarch64

The gecode-devel package contains libraries and header files for
developing applications that use gecode.

Filelist (Show Changelog) (Show related packages)

• /

  • usr

    • bin

      • fzn-gecode

      • mzn-gecode

    • include

      • gecode

        • driver

          • options.hpp

          • script.hpp

        • driver.hh

        • flatzinc

          • ast.hh

          • conexpr.hh

          • option.hh

          • parser.hh

          • parser.tab.hh

          • plugin.hh

          • registry.hh

          • symboltable.hh

          • varspec.hh

        • flatzinc.hh

        • float

          • arithmetic

            • div.hpp

            • min-max-channel.hpp

            • mult.hpp

            • pow-nroot.hpp

            • sqr-sqrt-abs.hpp

          • arithmetic.hh

          • array-traits.hpp

          • array.hpp

          • branch

            • activity.hpp

            • afc.hpp

            • assign.hpp

            • merit.hpp

            • traits.hpp

            • val-commit.hpp

            • val-sel.hpp

            • val.hpp

            • var.hpp

          • branch.hh

          • exception.hpp

          • limits.hpp

          • linear

            • nary.hpp

          • linear.hh

          • nextafter.hpp

          • num.hpp

          • rel

            • eq.hpp

            • lq-le.hpp

            • nq.hpp

          • rel.hh

          • rounding.hpp

          • transcendental

            • exp-log.hpp

          • transcendental.hh

          • trigonometric

            • asinacos.hpp

            • sincos.hpp

            • tanatan.hpp

          • trigonometric.hh

          • val.hpp

          • var

            • float.hpp

            • print.hpp

          • var-imp

            • delta.hpp

            • float.hpp

          • var-imp.hpp

          • view

            • float.hpp

            • minus.hpp

            • offset.hpp

            • print.hpp

            • rel-test.hpp

            • scale.hpp

          • view.hpp

        • float.hh

        • gist

          • drawingcursor.hh

          • drawingcursor.hpp

          • gecodelogo.hh

          • gist.hpp

          • layoutcursor.hh

          • layoutcursor.hpp

          • mainwindow.hh

          • node.hh

          • node.hpp

          • nodecursor.hh

          • nodecursor.hpp

          • nodestats.hh

          • nodevisitor.hh

          • nodevisitor.hpp

          • nodewidget.hh

          • preferences.hh

          • qtgist.hh

          • spacenode.hh

          • spacenode.hpp

          • stopbrancher.hh

          • textoutput.hh

          • treecanvas.hh

          • visualnode.hh

          • visualnode.hpp

          • zoomToFitIcon.hpp

        • gist.hh

        • int

          • arithmetic

            • abs.hpp

            • argmax.hpp

            • divmod.hpp

            • max.hpp

            • mult.hpp

            • nroot.hpp

            • pow-ops.hpp

            • pow.hpp

          • arithmetic.hh

          • array-traits.hpp

          • array.hpp

          • bin-packing

            • conflict-graph.hpp

            • propagate.hpp

          • bin-packing.hh

          • bool

            • base.hpp

            • clause.hpp

            • eq.hpp

            • eqv.hpp

            • ite.hpp

            • lq.hpp

            • or.hpp

          • bool.hh

          • branch

            • activity.hpp

            • afc.hpp

            • assign.hpp

            • merit.hpp

            • ngl.hpp

            • traits.hpp

            • val-commit.hpp

            • val-sel.hpp

            • val.hpp

            • var.hpp

            • view-values.hpp

          • branch.hh

          • channel

            • base.hpp

            • dom.hpp

            • link-multi.hpp

            • link-single.hpp

            • val.hpp

          • channel.hh

          • circuit

            • base.hpp

            • dom.hpp

            • val.hpp

          • circuit.hh

          • count

            • int-base.hpp

            • int-eq.hpp

            • int-gq.hpp

            • int-lq.hpp

            • rel.hpp

            • view-base.hpp

            • view-eq.hpp

            • view-gq.hpp

            • view-lq.hpp

          • count.hh

          • cumulative

            • basic.hpp

            • edge-finding.hpp

            • limits.hpp

            • man-prop.hpp

            • opt-prop.hpp

            • overload.hpp

            • task-view.hpp

            • task.hpp

            • tree.hpp

          • cumulative.hh

          • cumulatives

            • val.hpp

          • cumulatives.hh

          • distinct

            • bnd.hpp

            • dom-ctrl.hpp

            • dom.hpp

            • graph.hpp

            • ter-dom.hpp

            • val.hpp

          • distinct.hh

          • div.hh

          • div.hpp

          • dom

            • range.hpp

            • set.hpp

          • dom.hh

          • element

            • int.hpp

            • pair.hpp

            • view.hpp

          • element.hh

          • exception.hpp

          • exec

            • when.hpp

          • exec.hh

          • extensional

            • base.hpp

            • basic.hpp

            • dfa.hpp

            • incremental.hpp

            • layered-graph.hpp

            • tuple-set.hpp

          • extensional.hh

          • gcc

            • bnd-sup.hpp

            • bnd.hpp

            • dom-sup.hpp

            • dom.hpp

            • post.hpp

            • val.hpp

            • view.hpp

          • gcc.hh

          • idx-view.hh

          • idx-view.hpp

          • int-set-1.hpp

          • int-set-2.hpp

          • ldsb

            • brancher.hpp

            • sym-imp.hpp

          • ldsb.hh

          • limits.hpp

          • linear

            • bool-int.hpp

            • bool-scale.hpp

            • bool-view.hpp

            • int-bin.hpp

            • int-dom.hpp

            • int-nary.hpp

            • int-noview.hpp

            • int-ter.hpp

            • post.hpp

          • linear.hh

          • member

            • prop.hpp

            • re-prop.hpp

          • member.hh

          • no-overlap

            • base.hpp

            • box.hpp

            • dim.hpp

            • man.hpp

            • opt.hpp

          • no-overlap.hh

          • nvalues

            • bool-base.hpp

            • bool-eq.hpp

            • bool-gq.hpp

            • bool-lq.hpp

            • graph.hpp

            • int-base.hpp

            • int-eq.hpp

            • int-gq.hpp

            • int-lq.hpp

            • range-event.hpp

            • sym-bit-matrix.hpp

          • nvalues.hh

          • precede

            • single.hpp

          • precede.hh

          • propagator.hpp

          • reify.hpp

          • rel

            • eq.hpp

            • lex.hpp

            • lq-le.hpp

            • nq.hpp

          • rel.hh

          • sequence

            • int.hpp

            • set-op.hpp

            • view.hpp

            • violations.hpp

          • sequence.hh

          • sorted

            • matching.hpp

            • narrowing.hpp

            • order.hpp

            • propagate.hpp

            • sortsup.hpp

          • sorted.hh

          • support-values.hh

          • support-values.hpp

          • task

            • array.hpp

            • fwd-to-bwd.hpp

            • iter.hpp

            • man-to-opt.hpp

            • prop.hpp

            • purge.hpp

            • sort.hpp

            • tree.hpp

          • task.hh

          • unary

            • detectable.hpp

            • edge-finding.hpp

            • man-prop.hpp

            • not-first-not-last.hpp

            • opt-prop.hpp

            • overload.hpp

            • subsumption.hpp

            • task-view.hpp

            • task.hpp

            • tree.hpp

          • unary.hh

          • val-set.hh

          • val-set.hpp

          • var

            • bool.hpp

            • int.hpp

            • print.hpp

          • var-imp

            • bool.hpp

            • delta.hpp

            • int.hpp

          • var-imp.hpp

          • view

            • bool-test.hpp

            • bool.hpp

            • cached.hpp

            • constint.hpp

            • int.hpp

            • iter.hpp

            • minus.hpp

            • neg-bool.hpp

            • offset.hpp

            • print.hpp

            • rel-test.hpp

            • scale.hpp

            • zero.hpp

          • view-val-graph

            • bi-link.hpp

            • comb-ptr-flag.hpp

            • edge.hpp

            • graph.hpp

            • iter-prune-val.hpp

            • node.hpp

          • view-val-graph.hh

          • view.hpp

        • int.hh

        • iter

          • ranges-add.hpp

          • ranges-append.hpp

          • ranges-array.hpp

          • ranges-cache.hpp

          • ranges-compl.hpp

          • ranges-diff.hpp

          • ranges-empty.hpp

          • ranges-inter.hpp

          • ranges-list.hpp

          • ranges-map.hpp

          • ranges-minmax.hpp

          • ranges-minus.hpp

          • ranges-negative.hpp

          • ranges-offset.hpp

          • ranges-operations.hpp

          • ranges-positive.hpp

          • ranges-rangelist.hpp

          • ranges-scale.hpp

          • ranges-singleton-append.hpp

          • ranges-singleton.hpp

          • ranges-size.hpp

          • ranges-union.hpp

          • ranges-values.hpp

          • values-array.hpp

          • values-bitset.hpp

          • values-bitsetoffset.hpp

          • values-inter.hpp

          • values-list.hpp

          • values-map.hpp

          • values-minus.hpp

          • values-negative.hpp

          • values-offset.hpp

          • values-positive.hpp

          • values-ranges.hpp

          • values-singleton.hpp

          • values-union.hpp

          • values-unique.hpp

        • iter.hh

        • kernel

          • activity.hpp

          • advisor.hpp

          • afc.hpp

          • allocators.hpp

          • archive.hpp

          • array.hpp

          • branch-tiebreak.hpp

          • branch-traits.hpp

          • branch-val.hpp

          • branch-var.hpp

          • brancher-merit.hpp

          • brancher-val-commit.hpp

          • brancher-val-sel-commit.hpp

          • brancher-val-sel.hpp

          • brancher-view-sel.hpp

          • brancher-view-val.hpp

          • brancher-view.hpp

          • core.hpp

          • exception.hpp

          • global-afc.hpp

          • macros.hpp

          • memory-config.hpp

          • memory-manager.hpp

          • modevent.hpp

          • propagator.hpp

          • range-list.hpp

          • region.hpp

          • rnd.hpp

          • shared-array.hpp

          • var-imp.hpp

          • var-type.hpp

          • var.hpp

          • view.hpp

          • wait.hh

        • kernel.hh

        • minimodel

          • bool-expr.hpp

          • exception.hpp

          • float-rel.hpp

          • int-rel.hpp

          • ldsb.hpp

          • matrix.hpp

          • optimize.hpp

          • reg.hpp

          • set-expr.hpp

          • set-rel.hpp

        • minimodel.hh

        • search

          • bab.hpp

          • cutoff.hpp

          • dfs.hpp

          • engine-base.hpp

          • engine.hpp

          • exception.hpp

          • meta

            • nogoods.hh

            • rbs.hh

          • options.hpp

          • parallel

            • bab.hh

            • dfs.hh

            • engine.hh

            • path.hh

          • rbs.hpp

          • sequential

            • bab.hh

            • dfs.hh

            • path.hh

          • statistics.hpp

          • stop.hpp

          • support.hh

          • worker.hh

        • search.hh

        • set

          • array-traits.hpp

          • array.hpp

          • branch

            • activity.hpp

            • afc.hpp

            • assign.hpp

            • merit.hpp

            • ngl.hpp

            • traits.hpp

            • val-commit.hpp

            • val-sel.hpp

            • val.hpp

            • var.hpp

          • branch.hh

          • channel

            • bool.hpp

            • int.hpp

            • set.hpp

            • sorted.hpp

          • channel.hh

          • convex

            • conv.hpp

            • hull.hpp

          • convex.hh

          • distinct

            • atmostOne.hpp

          • distinct.hh

          • element

            • disjoint.hpp

            • inter.hpp

            • union.hpp

            • unionConst.hpp

          • element.hh

          • exception.hpp

          • int

            • card.hpp

            • minmax.hpp

            • weights.hpp

          • int.hh

          • ldsb

            • brancher.hpp

          • ldsb.hh

          • limits.hpp

          • precede

            • single.hpp

          • precede.hh

          • rel

            • common.hpp

            • eq.hpp

            • lq.hpp

            • nosubset.hpp

            • nq.hpp

            • re-eq.hpp

            • re-lq.hpp

            • re-subset.hpp

            • subset.hpp

          • rel-op

            • common.hpp

            • inter.hpp

            • partition.hpp

            • post.hpp

            • subofunion.hpp

            • superofinter.hpp

            • union.hpp

          • rel-op.hh

          • rel.hh

          • sequence

            • common.hpp

            • seq-u.hpp

            • seq.hpp

          • sequence.hh

          • var

            • print.hpp

            • set.hpp

          • var-imp

            • delta.hpp

            • integerset.hpp

            • iter.hpp

            • set.hpp

          • var-imp.hpp

          • view

            • cached.hpp

            • complement.hpp

            • const.hpp

            • print.hpp

            • set.hpp

            • singleton.hpp

          • view.hpp

        • set.hh

        • support

          • auto-link.hpp

          • bitset-base.hpp

          • bitset-offset.hpp

          • bitset.hpp

          • block-allocator.hpp

          • cast.hpp

          • config.hpp

          • dynamic-array.hpp

          • dynamic-queue.hpp

          • dynamic-stack.hpp

          • exception.hpp

          • heap.hpp

          • hw-rnd.hpp

          • int-type.hpp

          • macros.hpp

          • marked-pointer.hpp

          • random.hpp

          • sort.hpp

          • static-stack.hpp

          • thread

            • none.hpp

            • pthreads.hpp

            • thread.hpp

            • windows.hpp

          • thread.hpp

          • timer.hpp

        • support.hh

        • third-party

          • boost

            • LICENSE_1_0.txt

            • config

              • compiler

                • borland.hpp

                • clang.hpp

                • codegear.hpp

                • comeau.hpp

                • common_edg.hpp

                • compaq_cxx.hpp

                • digitalmars.hpp

                • gcc.hpp

                • gcc_xml.hpp

                • greenhills.hpp

                • hp_acc.hpp

                • intel.hpp

                • kai.hpp

                • metrowerks.hpp

                • mpw.hpp

                • nvcc.hpp

                • pathscale.hpp

                • pgi.hpp

                • sgi_mipspro.hpp

                • sunpro_cc.hpp

                • vacpp.hpp

                • visualc.hpp

              • no_tr1

                • cmath.hpp

                • utility.hpp

              • platform

                • aix.hpp

                • amigaos.hpp

                • beos.hpp

                • bsd.hpp

                • cygwin.hpp

                • hpux.hpp

                • irix.hpp

                • linux.hpp

                • macos.hpp

                • qnxnto.hpp

                • solaris.hpp

                • symbian.hpp

                • vms.hpp

                • vxworks.hpp

                • win32.hpp

              • posix_features.hpp

              • select_compiler_config.hpp

              • select_platform_config.hpp

              • select_stdlib_config.hpp

              • stdlib

                • dinkumware.hpp

                • libcomo.hpp

                • libcpp.hpp

                • libstdcpp3.hpp

                • modena.hpp

                • msl.hpp

                • roguewave.hpp

                • sgi.hpp

                • stlport.hpp

                • vacpp.hpp

              • suffix.hpp

              • user.hpp

            • config.hpp

            • detail

              • endian.hpp

              • limits.hpp

            • limits.hpp

            • non_type.hpp

            • numeric

              • interval

                • arith.hpp

                • arith2.hpp

                • arith3.hpp

                • checking.hpp

                • compare

                  • certain.hpp

                  • explicit.hpp

                  • lexicographic.hpp

                  • possible.hpp

                  • set.hpp

                • compare.hpp

                • constants.hpp

                • detail

                  • alpha_rounding_control.hpp

                  • bcc_rounding_control.hpp

                  • bugs.hpp

                  • c99_rounding_control.hpp

                  • c99sub_rounding_control.hpp

                  • division.hpp

                  • ia64_rounding_control.hpp

                  • interval_prototype.hpp

                  • msvc_rounding_control.hpp

                  • ppc_rounding_control.hpp

                  • sparc_rounding_control.hpp

                  • test_input.hpp

                  • x86_rounding_control.hpp

                  • x86gcc_rounding_control.hpp

                • hw_rounding.hpp

                • interval.hpp

                • policies.hpp

                • rounded_arith.hpp

                • rounded_transc.hpp

                • rounding.hpp

                • transc.hpp

                • utility.hpp

              • interval.hpp

            • type.hpp

    • lib64

      • libgecodedriver.so

      • libgecodeflatzinc.so

      • libgecodefloat.so

      • libgecodegist.so

      • libgecodeint.so

      • libgecodekernel.so

      • libgecodeminimodel.so

      • libgecodesearch.so

      • libgecodeset.so

      • libgecodesupport.so

    • share

      • gecode

        • mznlib

          • all_different_int.mzn

          • all_equal_int.mzn

          • among.mzn

          • arg_max_int.mzn

          • arg_min_int.mzn

          • at_least_int.mzn

          • at_least_set.mzn

          • at_most_int.mzn

          • at_most_set.mzn

          • bin_packing.mzn

          • bin_packing_capa.mzn

          • bin_packing_load.mzn

          • circuit.mzn

          • count.mzn

          • cumulative.mzn

          • decreasing_bool.mzn

          • decreasing_int.mzn

          • diffn.mzn

          • disjoint.mzn

          • distribute.mzn

          • exactly_int.mzn

          • exactly_set.mzn

          • gecode.mzn

          • global_cardinality.mzn

          • global_cardinality_closed.mzn

          • global_cardinality_low_up.mzn

          • global_cardinality_low_up_closed.mzn

          • increasing_bool.mzn

          • increasing_int.mzn

          • int_set_channel.mzn

          • inverse.mzn

          • inverse_set.mzn

          • lex_less_bool.mzn

          • lex_less_int.mzn

          • lex_lesseq_bool.mzn

          • lex_lesseq_int.mzn

          • link_set_to_booleans.mzn

          • maximum_int.mzn

          • member_bool.mzn

          • member_int.mzn

          • minimum_int.mzn

          • nvalue.mzn

          • partition_set.mzn

          • range.mzn

          • redefinitions-2.0.mzn

          • redefinitions.mzn

          • regular.mzn

          • roots.mzn

          • sort.mzn

          • sum_pred.mzn

          • table_bool.mzn

          • table_int.mzn

          • value_precede_int.mzn

          • value_precede_set.mzn