++======================================== || || Package: ./development/gecode/gecode-4.4.0-x86_64-1_slack.txz || ++======================================== drwxr-xr-x root/root 0 2015-04-05 14:15 ./ drwxr-xr-x root/root 0 2015-04-05 14:15 install/ -rw-r--r-- root/root 799 2015-04-05 14:15 install/slack-desc -rw-r--r-- root/root 2322 2015-04-05 14:15 install/doinst.sh drwxr-xr-x root/root 0 2015-04-05 14:15 usr/ drwxr-xr-x root/root 0 2015-04-05 14:15 usr/lib64/ -rwxr-xr-x root/root 97744 2015-04-05 14:15 usr/lib64/libgecodesearch.so.41.0 -rwxr-xr-x root/root 58512 2015-04-05 14:15 usr/lib64/libgecodedriver.so.41.0 -rwxr-xr-x root/root 2351024 2015-04-05 14:15 usr/lib64/libgecodeset.so.41.0 -rwxr-xr-x root/root 5514664 2015-04-05 14:15 usr/lib64/libgecodeint.so.41.0 -rwxr-xr-x root/root 17040 2015-04-05 14:15 usr/lib64/libgecodesupport.so.41.0 -rwxr-xr-x root/root 238488 2015-04-05 14:15 usr/lib64/libgecodeminimodel.so.41.0 -rwxr-xr-x root/root 1090416 2015-04-05 14:15 usr/lib64/libgecodefloat.so.41.0 -rwxr-xr-x root/root 562168 2015-04-05 14:15 usr/lib64/libgecodeflatzinc.so.41.0 -rwxr-xr-x root/root 54600 2015-04-05 14:15 usr/lib64/libgecodekernel.so.41.0 -rwxr-xr-x root/root 294040 2015-04-05 14:15 usr/lib64/libgecodegist.so.41.0 drwxr-xr-x root/root 0 2015-04-05 14:15 usr/share/ drwxr-xr-x root/root 0 2015-04-05 14:15 usr/share/gecode/ drwxr-xr-x root/root 0 2015-04-05 14:15 usr/share/gecode/mznlib/ -rw-r--r-- root/root 1489 2015-04-05 14:15 usr/share/gecode/mznlib/table_bool.mzn -rw-r--r-- root/root 1477 2015-04-05 14:15 usr/share/gecode/mznlib/at_most_int.mzn -rw-r--r-- root/root 1639 2015-04-05 14:15 usr/share/gecode/mznlib/lex_lesseq_int.mzn -rw-r--r-- root/root 2458 2015-04-05 14:15 usr/share/gecode/mznlib/roots.mzn -rw-r--r-- root/root 1466 2015-04-05 14:15 usr/share/gecode/mznlib/increasing_bool.mzn -rw-r--r-- root/root 198 2015-04-05 14:15 usr/share/gecode/mznlib/arg_max_int.mzn -rw-r--r-- root/root 2211 2015-04-05 14:15 usr/share/gecode/mznlib/cumulative.mzn -rw-r--r-- root/root 1646 2015-04-05 14:15 usr/share/gecode/mznlib/lex_lesseq_bool.mzn -rw-r--r-- root/root 198 2015-04-05 14:15 usr/share/gecode/mznlib/arg_min_int.mzn -rw-r--r-- root/root 3446 2015-04-05 14:15 usr/share/gecode/mznlib/redefinitions.mzn -rw-r--r-- root/root 2069 2015-04-05 14:15 usr/share/gecode/mznlib/range.mzn -rw-r--r-- root/root 1534 2015-04-05 14:15 usr/share/gecode/mznlib/minimum_int.mzn -rw-r--r-- root/root 1602 2015-04-05 14:15 usr/share/gecode/mznlib/global_cardinality_closed.mzn -rw-r--r-- root/root 1689 2015-04-05 14:15 usr/share/gecode/mznlib/global_cardinality_low_up_closed.mzn -rw-r--r-- root/root 1635 2015-04-05 14:15 usr/share/gecode/mznlib/lex_less_int.mzn -rw-r--r-- root/root 1541 2015-04-05 14:15 usr/share/gecode/mznlib/regular.mzn -rw-r--r-- root/root 1546 2015-04-05 14:15 usr/share/gecode/mznlib/at_least_set.mzn -rw-r--r-- root/root 1752 2015-04-05 14:15 usr/share/gecode/mznlib/diffn.mzn -rw-r--r-- root/root 1472 2015-04-05 14:15 usr/share/gecode/mznlib/disjoint.mzn -rw-r--r-- root/root 1480 2015-04-05 14:15 usr/share/gecode/mznlib/sort.mzn -rw-r--r-- root/root 1584 2015-04-05 14:15 usr/share/gecode/mznlib/count.mzn -rw-r--r-- root/root 1790 2015-04-05 14:15 usr/share/gecode/mznlib/bin_packing_capa.mzn -rw-r--r-- root/root 1678 2015-04-05 14:15 usr/share/gecode/mznlib/circuit.mzn -rw-r--r-- root/root 1910 2015-04-05 14:15 usr/share/gecode/mznlib/link_set_to_booleans.mzn -rw-r--r-- root/root 1545 2015-04-05 14:15 usr/share/gecode/mznlib/at_most_set.mzn -rw-r--r-- root/root 2037 2015-04-05 14:15 usr/share/gecode/mznlib/int_set_channel.mzn -rw-r--r-- root/root 1673 2015-04-05 14:15 usr/share/gecode/mznlib/member_int.mzn -rw-r--r-- root/root 1847 2015-04-05 14:15 usr/share/gecode/mznlib/distribute.mzn -rw-r--r-- root/root 1642 2015-04-05 14:15 usr/share/gecode/mznlib/lex_less_bool.mzn -rw-r--r-- root/root 1464 2015-04-05 14:15 usr/share/gecode/mznlib/decreasing_bool.mzn -rw-r--r-- root/root 1683 2015-04-05 14:15 usr/share/gecode/mznlib/member_bool.mzn -rw-r--r-- root/root 1534 2015-04-05 14:15 usr/share/gecode/mznlib/maximum_int.mzn -rw-r--r-- root/root 1545 2015-04-05 14:15 usr/share/gecode/mznlib/exactly_set.mzn -rw-r--r-- root/root 2079 2015-04-05 14:15 usr/share/gecode/mznlib/inverse_set.mzn -rw-r--r-- root/root 1750 2015-04-05 14:15 usr/share/gecode/mznlib/global_cardinality.mzn -rw-r--r-- root/root 1478 2015-04-05 14:15 usr/share/gecode/mznlib/at_least_int.mzn -rw-r--r-- root/root 1466 2015-04-05 14:15 usr/share/gecode/mznlib/nvalue.mzn -rw-r--r-- root/root 1672 2015-04-05 14:15 usr/share/gecode/mznlib/partition_set.mzn -rw-r--r-- root/root 1461 2015-04-05 14:15 usr/share/gecode/mznlib/all_equal_int.mzn -rw-r--r-- root/root 1664 2015-04-05 14:15 usr/share/gecode/mznlib/global_cardinality_low_up.mzn -rw-r--r-- root/root 1854 2015-04-05 14:15 usr/share/gecode/mznlib/bin_packing_load.mzn -rw-r--r-- root/root 1464 2015-04-05 14:15 usr/share/gecode/mznlib/increasing_int.mzn -rw-r--r-- root/root 1710 2015-04-05 14:15 usr/share/gecode/mznlib/inverse.mzn -rw-r--r-- root/root 1702 2015-04-05 14:15 usr/share/gecode/mznlib/sum_pred.mzn -rw-r--r-- root/root 943 2015-04-05 14:15 usr/share/gecode/mznlib/redefinitions-2.0.mzn -rw-r--r-- root/root 1480 2015-04-05 14:15 usr/share/gecode/mznlib/among.mzn -rw-r--r-- root/root 1520 2015-04-05 14:15 usr/share/gecode/mznlib/exactly_int.mzn -rw-r--r-- root/root 1601 2015-04-05 14:15 usr/share/gecode/mznlib/value_precede_set.mzn -rw-r--r-- root/root 4578 2015-04-05 14:15 usr/share/gecode/mznlib/gecode.mzn -rw-r--r-- root/root 1486 2015-04-05 14:15 usr/share/gecode/mznlib/table_int.mzn -rw-r--r-- root/root 1467 2015-04-05 14:15 usr/share/gecode/mznlib/all_different_int.mzn -rw-r--r-- root/root 1739 2015-04-05 14:15 usr/share/gecode/mznlib/bin_packing.mzn -rw-r--r-- root/root 1579 2015-04-05 14:15 usr/share/gecode/mznlib/value_precede_int.mzn -rw-r--r-- root/root 1462 2015-04-05 14:15 usr/share/gecode/mznlib/decreasing_int.mzn drwxr-xr-x root/root 0 2015-04-05 14:15 usr/doc/ drwxr-xr-x root/root 0 2015-04-05 14:15 usr/doc/gecode-4.4.0/ -rw-r--r-- root/root 3588 2015-04-05 14:15 usr/doc/gecode-4.4.0/gecode.SlackBuild -rwxr-xr-x root/root 1278 2007-08-09 08:30 usr/doc/gecode-4.4.0/LICENSE drwxr-xr-x root/root 0 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/ -rw-r--r-- root/root 11830 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/tsp.cpp -rw-r--r-- root/root 4363 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/eq20.cpp -rw-r--r-- root/root 4925 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/photo.cpp -rw-r--r-- root/root 4296 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/magic-square.cpp -rw-r--r-- root/root 41573 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/radiotherapy.cpp -rw-r--r-- root/root 5266 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/steiner.cpp -rw-r--r-- root/root 24479 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/pentominoes.cpp -rw-r--r-- root/root 26985 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/colored-matrix.cpp -rw-r--r-- root/root 3986 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/archimedean-spiral.cpp -rw-r--r-- root/root 5502 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/warehouses.cpp -rw-r--r-- root/root 4799 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/ortho-latin.cpp -rw-r--r-- root/root 9460 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/domino.cpp -rw-r--r-- root/root 3954 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/magic-sequence.cpp -rw-r--r-- root/root 3580 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/grocery.cpp -rw-r--r-- root/root 8642 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/crew.cpp -rw-r--r-- root/root 20592 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/steel-mill.cpp -rw-r--r-- root/root 167233 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/qcp.cpp -rw-r--r-- root/root 4093 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/schurs-lemma.cpp -rw-r--r-- root/root 4007 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/all-interval.cpp -rw-r--r-- root/root 5032 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/dominating-queens.cpp -rw-r--r-- root/root 4076 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/golomb-ruler.cpp -rw-r--r-- root/root 4069 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/partition.cpp -rw-r--r-- root/root 3943 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/ind-set.cpp -rw-r--r-- root/root 7490 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/minesweeper.cpp -rw-r--r-- root/root 10358 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/efpa.cpp -rw-r--r-- root/root 4144 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/hamming.cpp -rw-r--r-- root/root 57047 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/sudoku.cpp -rw-r--r-- root/root 9826 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/perfect-square.cpp -rw-r--r-- root/root 10376 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/black-hole.cpp -rw-r--r-- root/root 3973 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/donald.cpp -rw-r--r-- root/root 10000 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/queen-armies.cpp -rw-r--r-- root/root 13231 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/crowded-chess.cpp -rw-r--r-- root/root 17609 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/car-sequencing.cpp -rw-r--r-- root/root 5092 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/word-square.cpp -rw-r--r-- root/root 13897 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/bacp.cpp -rw-r--r-- root/root 20930 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/graph-color.cpp -rw-r--r-- root/root 6451 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/queens.cpp -rw-r--r-- root/root 6608 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/langford-number.cpp -rw-r--r-- root/root 1494458 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/multi-bin-packing.cpp -rw-r--r-- root/root 12678 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/open-shop.cpp -rw-r--r-- root/root 5759 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/golf.cpp -rw-r--r-- root/root 12590 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/knights.cpp -rw-r--r-- root/root 7308 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/sat.cpp -rw-r--r-- root/root 5719 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/bibd.cpp -rw-r--r-- root/root 1339085 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/bin-packing.cpp -rw-r--r-- root/root 26890 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/nonogram.cpp -rw-r--r-- root/root 4923 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/alpha.cpp -rw-r--r-- root/root 3909 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/golden-spiral.cpp -rw-r--r-- root/root 3812 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/cartesian-heart.cpp -rw-r--r-- root/root 186604 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/crossword.cpp -rw-r--r-- root/root 24339 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/kakuro.cpp -rw-r--r-- root/root 3797 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/descartes-folium.cpp -rw-r--r-- root/root 3826 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/money.cpp -rw-r--r-- root/root 9722 2015-04-05 14:15 usr/doc/gecode-4.4.0/examples/sports-league.cpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/bin/ -rwxr-xr-x root/root 1531 2015-04-05 14:15 usr/bin/mzn-gecode -rwxr-xr-x root/root 29016 2015-04-05 14:15 usr/bin/fzn-gecode drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/ drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/ drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/search/ -rwxr-xr-x root/root 2787 2015-03-11 09:59 usr/include/gecode/search/stop.hpp -rwxr-xr-x root/root 3859 2015-03-11 04:45 usr/include/gecode/search/cutoff.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/search/sequential/ -rwxr-xr-x root/root 12597 2015-03-20 09:37 usr/include/gecode/search/sequential/path.hh -rw-r--r-- root/root 4828 2015-03-20 09:37 usr/include/gecode/search/sequential/dfs.hh -rwxr-xr-x root/root 5481 2015-03-20 09:37 usr/include/gecode/search/sequential/bab.hh -rwxr-xr-x root/root 2109 2015-03-17 05:15 usr/include/gecode/search/bab.hpp -rwxr-xr-x root/root 2535 2015-03-11 10:37 usr/include/gecode/search/engine-base.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/search/meta/ -rwxr-xr-x root/root 7076 2015-03-20 09:37 usr/include/gecode/search/meta/nogoods.hh -rw-r--r-- root/root 5118 2015-03-19 08:02 usr/include/gecode/search/meta/rbs.hh -rw-r--r-- root/root 3299 2013-07-11 05:30 usr/include/gecode/search/support.hh -rwxr-xr-x root/root 1738 2013-02-20 10:53 usr/include/gecode/search/exception.hpp -rwxr-xr-x root/root 1958 2015-03-17 05:15 usr/include/gecode/search/dfs.hpp -rwxr-xr-x root/root 2262 2013-07-11 05:30 usr/include/gecode/search/statistics.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/search/parallel/ -rwxr-xr-x root/root 14341 2015-03-20 09:37 usr/include/gecode/search/parallel/path.hh -rw-r--r-- root/root 5036 2015-03-20 09:37 usr/include/gecode/search/parallel/dfs.hh -rw-r--r-- root/root 11042 2015-03-20 09:37 usr/include/gecode/search/parallel/engine.hh -rw-r--r-- root/root 6083 2015-03-20 09:37 usr/include/gecode/search/parallel/bab.hh -rwxr-xr-x root/root 1810 2015-03-11 10:24 usr/include/gecode/search/engine.hpp -rwxr-xr-x root/root 3242 2013-10-30 09:42 usr/include/gecode/search/worker.hh -rwxr-xr-x root/root 1806 2013-07-08 07:22 usr/include/gecode/search/options.hpp -rw-r--r-- root/root 2773 2015-03-19 08:02 usr/include/gecode/search/rbs.hpp -rw-r--r-- root/root 61623 2014-10-03 08:34 usr/include/gecode/float.hh -rwxr-xr-x root/root 82805 2015-03-20 09:37 usr/include/gecode/minimodel.hh drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/third-party/ drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/third-party/boost/ -rw-r--r-- root/root 509 2014-10-03 08:34 usr/include/gecode/third-party/boost/type.hpp -rw-r--r-- root/root 2330 2014-10-03 08:34 usr/include/gecode/third-party/boost/config.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/third-party/boost/numeric/ -rw-r--r-- root/root 1343 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/third-party/boost/numeric/interval/ -rw-r--r-- root/root 5877 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/rounded_transc.hpp -rw-r--r-- root/root 2563 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/hw_rounding.hpp -rw-r--r-- root/root 1825 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/policies.hpp -rw-r--r-- root/root 2890 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/checking.hpp -rw-r--r-- root/root 2628 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/rounding.hpp -rw-r--r-- root/root 12319 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/interval.hpp -rw-r--r-- root/root 2223 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/arith3.hpp -rw-r--r-- root/root 5206 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/rounded_arith.hpp -rw-r--r-- root/root 10509 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/arith.hpp -rw-r--r-- root/root 3210 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/constants.hpp -rw-r--r-- root/root 819 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/compare.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/third-party/boost/numeric/interval/compare/ -rw-r--r-- root/root 3488 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/compare/possible.hpp -rw-r--r-- root/root 3938 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/compare/lexicographic.hpp -rw-r--r-- root/root 2838 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/compare/set.hpp -rw-r--r-- root/root 6162 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/compare/explicit.hpp -rw-r--r-- root/root 3478 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/compare/certain.hpp -rw-r--r-- root/root 11200 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/utility.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/third-party/boost/numeric/interval/detail/ -rw-r--r-- root/root 2520 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/detail/bugs.hpp -rw-r--r-- root/root 1295 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/detail/x86gcc_rounding_control.hpp -rw-r--r-- root/root 1627 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/detail/bcc_rounding_control.hpp -rw-r--r-- root/root 2378 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/detail/test_input.hpp -rw-r--r-- root/root 2191 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/detail/ia64_rounding_control.hpp -rw-r--r-- root/root 1386 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/detail/c99sub_rounding_control.hpp -rw-r--r-- root/root 3102 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/detail/sparc_rounding_control.hpp -rw-r--r-- root/root 7848 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/detail/division.hpp -rw-r--r-- root/root 1068 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/detail/interval_prototype.hpp -rw-r--r-- root/root 3287 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/detail/x86_rounding_control.hpp -rw-r--r-- root/root 3074 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/detail/msvc_rounding_control.hpp -rw-r--r-- root/root 3655 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/detail/alpha_rounding_control.hpp -rw-r--r-- root/root 3002 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/detail/ppc_rounding_control.hpp -rw-r--r-- root/root 1351 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/detail/c99_rounding_control.hpp -rw-r--r-- root/root 8116 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/transc.hpp -rw-r--r-- root/root 10291 2014-10-03 08:34 usr/include/gecode/third-party/boost/numeric/interval/arith2.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/third-party/boost/config/ -rw-r--r-- root/root 3890 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/posix_features.hpp -rw-r--r-- root/root 3541 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/select_platform_config.hpp -rw-r--r-- root/root 22877 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/suffix.hpp -rw-r--r-- root/root 3277 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/select_stdlib_config.hpp -rw-r--r-- root/root 5360 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/user.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/third-party/boost/config/stdlib/ -rw-r--r-- root/root 8430 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/stdlib/stlport.hpp -rw-r--r-- root/root 1820 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/stdlib/vacpp.hpp -rw-r--r-- root/root 968 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/stdlib/libcpp.hpp -rw-r--r-- root/root 2348 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/stdlib/msl.hpp -rw-r--r-- root/root 2295 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/stdlib/libcomo.hpp -rw-r--r-- root/root 5925 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/stdlib/roguewave.hpp -rw-r--r-- root/root 4602 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/stdlib/sgi.hpp -rw-r--r-- root/root 6031 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/stdlib/libstdcpp3.hpp -rw-r--r-- root/root 1670 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/stdlib/modena.hpp -rw-r--r-- root/root 5246 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/stdlib/dinkumware.hpp -rw-r--r-- root/root 4144 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/select_compiler_config.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/third-party/boost/config/platform/ -rw-r--r-- root/root 2741 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/platform/hpux.hpp -rw-r--r-- root/root 850 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/platform/irix.hpp -rw-r--r-- root/root 1537 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/platform/cygwin.hpp -rw-r--r-- root/root 477 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/platform/amigaos.hpp -rw-r--r-- root/root 661 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/platform/beos.hpp -rw-r--r-- root/root 2864 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/platform/symbian.hpp -rw-r--r-- root/root 880 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/platform/vxworks.hpp -rw-r--r-- root/root 760 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/platform/solaris.hpp -rw-r--r-- root/root 861 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/platform/vms.hpp -rw-r--r-- root/root 2643 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/platform/bsd.hpp -rw-r--r-- root/root 989 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/platform/aix.hpp -rw-r--r-- root/root 2645 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/platform/linux.hpp -rw-r--r-- root/root 2282 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/platform/win32.hpp -rw-r--r-- root/root 2481 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/platform/macos.hpp -rw-r--r-- root/root 855 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/platform/qnxnto.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/third-party/boost/config/compiler/ -rw-r--r-- root/root 9068 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/compiler/borland.hpp -rw-r--r-- root/root 4726 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/compiler/hp_acc.hpp -rw-r--r-- root/root 2432 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/compiler/pgi.hpp -rw-r--r-- root/root 3851 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/compiler/vacpp.hpp -rw-r--r-- root/root 835 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/compiler/sgi_mipspro.hpp -rw-r--r-- root/root 9960 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/compiler/visualc.hpp -rw-r--r-- root/root 9152 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/compiler/intel.hpp -rw-r--r-- root/root 2823 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/compiler/mpw.hpp -rw-r--r-- root/root 1077 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/compiler/kai.hpp -rw-r--r-- root/root 1692 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/compiler/comeau.hpp -rw-r--r-- root/root 5027 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/compiler/sunpro_cc.hpp -rw-r--r-- root/root 3154 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/compiler/common_edg.hpp -rw-r--r-- root/root 8568 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/compiler/gcc.hpp -rw-r--r-- root/root 2180 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/compiler/clang.hpp -rw-r--r-- root/root 6109 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/compiler/codegear.hpp -rw-r--r-- root/root 4565 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/compiler/metrowerks.hpp -rw-r--r-- root/root 3145 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/compiler/digitalmars.hpp -rw-r--r-- root/root 2016 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/compiler/gcc_xml.hpp -rw-r--r-- root/root 855 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/compiler/greenhills.hpp -rw-r--r-- root/root 3064 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/compiler/pathscale.hpp -rw-r--r-- root/root 534 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/compiler/compaq_cxx.hpp -rw-r--r-- root/root 897 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/compiler/nvcc.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/third-party/boost/config/no_tr1/ -rw-r--r-- root/root 894 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/no_tr1/cmath.hpp -rw-r--r-- root/root 910 2014-10-03 08:34 usr/include/gecode/third-party/boost/config/no_tr1/utility.hpp -rw-r--r-- root/root 640 2014-10-03 08:34 usr/include/gecode/third-party/boost/non_type.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/third-party/boost/detail/ -rw-r--r-- root/root 2899 2014-10-03 08:34 usr/include/gecode/third-party/boost/detail/endian.hpp -rw-r--r-- root/root 17152 2014-10-03 08:34 usr/include/gecode/third-party/boost/detail/limits.hpp -rw-r--r-- root/root 1338 2012-03-28 10:26 usr/include/gecode/third-party/boost/LICENSE_1_0.txt -rw-r--r-- root/root 6934 2014-10-03 08:34 usr/include/gecode/third-party/boost/limits.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/gist/ -rw-r--r-- root/root 4880 2010-08-12 04:02 usr/include/gecode/gist/spacenode.hpp -rw-r--r-- root/root 5976 2012-03-29 22:58 usr/include/gecode/gist/gist.hpp -rw-r--r-- root/root 2035 2010-04-08 04:25 usr/include/gecode/gist/gecodelogo.hh -rw-r--r-- root/root 2405 2013-05-06 02:02 usr/include/gecode/gist/layoutcursor.hpp -rw-r--r-- root/root 5010 2013-05-06 02:02 usr/include/gecode/gist/visualnode.hpp -rw-r--r-- root/root 1907 2009-05-13 04:04 usr/include/gecode/gist/nodewidget.hh -rw-r--r-- root/root 2697 2012-12-20 18:48 usr/include/gecode/gist/nodestats.hh -rw-r--r-- root/root 12712 2013-05-06 02:02 usr/include/gecode/gist/treecanvas.hh -rw-r--r-- root/root 3475 2010-07-30 10:08 usr/include/gecode/gist/nodevisitor.hpp -rw-r--r-- root/root 7670 2010-08-11 08:13 usr/include/gecode/gist/spacenode.hh -rw-r--r-- root/root 8291 2009-01-21 04:36 usr/include/gecode/gist/zoomToFitIcon.hpp -rw-r--r-- root/root 6986 2013-05-06 02:02 usr/include/gecode/gist/nodecursor.hh -rw-r--r-- root/root 9966 2013-05-06 02:02 usr/include/gecode/gist/qtgist.hh -rw-r--r-- root/root 3029 2013-05-02 10:10 usr/include/gecode/gist/stopbrancher.hh -rw-r--r-- root/root 3002 2010-07-30 03:30 usr/include/gecode/gist/nodevisitor.hh -rw-r--r-- root/root 3411 2010-08-12 02:48 usr/include/gecode/gist/drawingcursor.hh -rw-r--r-- root/root 8066 2013-07-11 05:30 usr/include/gecode/gist/visualnode.hh -rw-r--r-- root/root 6323 2013-05-06 02:02 usr/include/gecode/gist/node.hpp -rw-r--r-- root/root 2779 2010-08-12 02:48 usr/include/gecode/gist/drawingcursor.hpp -rw-r--r-- root/root 3035 2012-12-20 18:48 usr/include/gecode/gist/preferences.hh -rw-r--r-- root/root 2227 2010-08-11 05:41 usr/include/gecode/gist/layoutcursor.hh -rw-r--r-- root/root 5391 2013-07-01 20:35 usr/include/gecode/gist/node.hh -rw-r--r-- root/root 2451 2011-08-25 03:43 usr/include/gecode/gist/textoutput.hh -rw-r--r-- root/root 8754 2013-05-06 02:02 usr/include/gecode/gist/nodecursor.hpp -rw-r--r-- root/root 4120 2010-08-12 08:30 usr/include/gecode/gist/mainwindow.hh -rwxr-xr-x root/root 24197 2015-03-19 05:42 usr/include/gecode/driver.hh drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/set/ -rw-r--r-- root/root 3967 2011-07-12 05:49 usr/include/gecode/set/precede.hh -rw-r--r-- root/root 11667 2009-10-12 10:36 usr/include/gecode/set/rel-op.hh drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/set/precede/ -rw-r--r-- root/root 7566 2011-07-12 05:49 usr/include/gecode/set/precede/single.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/set/var-imp/ -rw-r--r-- root/root 14565 2010-07-28 10:35 usr/include/gecode/set/var-imp/set.hpp -rw-r--r-- root/root 9618 2011-09-19 07:02 usr/include/gecode/set/var-imp/integerset.hpp -rw-r--r-- root/root 2408 2009-01-20 16:44 usr/include/gecode/set/var-imp/delta.hpp -rw-r--r-- root/root 2074 2009-09-08 14:10 usr/include/gecode/set/var-imp/iter.hpp -rw-r--r-- root/root 10977 2012-10-21 18:13 usr/include/gecode/set/rel.hh -rw-r--r-- root/root 4014 2009-10-12 10:36 usr/include/gecode/set/sequence.hh -rw-r--r-- root/root 2606 2011-07-13 14:14 usr/include/gecode/set/array-traits.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/set/rel-op/ -rw-r--r-- root/root 7958 2011-08-24 09:34 usr/include/gecode/set/rel-op/post.hpp -rw-r--r-- root/root 19871 2012-09-07 10:31 usr/include/gecode/set/rel-op/common.hpp -rw-r--r-- root/root 5580 2010-03-03 10:32 usr/include/gecode/set/rel-op/subofunion.hpp -rw-r--r-- root/root 5572 2010-03-03 10:32 usr/include/gecode/set/rel-op/superofinter.hpp -rw-r--r-- root/root 12651 2012-09-07 10:31 usr/include/gecode/set/rel-op/inter.hpp -rw-r--r-- root/root 5763 2012-09-07 10:31 usr/include/gecode/set/rel-op/partition.hpp -rw-r--r-- root/root 10371 2012-09-07 10:31 usr/include/gecode/set/rel-op/union.hpp -rw-r--r-- root/root 5206 2013-05-08 06:30 usr/include/gecode/set/ldsb.hh drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/set/channel/ -rw-r--r-- root/root 5622 2011-11-03 05:52 usr/include/gecode/set/channel/set.hpp -rw-r--r-- root/root 5308 2011-11-03 05:52 usr/include/gecode/set/channel/int.hpp -rw-r--r-- root/root 9067 2015-01-15 18:21 usr/include/gecode/set/channel/bool.hpp -rw-r--r-- root/root 6306 2011-11-03 05:52 usr/include/gecode/set/channel/sorted.hpp -rw-r--r-- root/root 4458 2009-07-20 09:05 usr/include/gecode/set/exception.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/set/rel/ -rw-r--r-- root/root 5149 2012-10-18 22:58 usr/include/gecode/set/rel/re-subset.hpp -rw-r--r-- root/root 4337 2010-06-02 04:00 usr/include/gecode/set/rel/common.hpp -rw-r--r-- root/root 3584 2010-03-03 10:32 usr/include/gecode/set/rel/nosubset.hpp -rw-r--r-- root/root 3399 2010-03-03 10:32 usr/include/gecode/set/rel/subset.hpp -rw-r--r-- root/root 3835 2013-02-27 10:15 usr/include/gecode/set/rel/eq.hpp -rw-r--r-- root/root 5447 2010-06-07 07:18 usr/include/gecode/set/rel/nq.hpp -rw-r--r-- root/root 6462 2012-10-18 22:58 usr/include/gecode/set/rel/re-lq.hpp -rw-r--r-- root/root 5563 2012-10-21 18:13 usr/include/gecode/set/rel/re-eq.hpp -rw-r--r-- root/root 11828 2013-02-08 09:47 usr/include/gecode/set/rel/lq.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/set/view/ -rw-r--r-- root/root 10036 2011-07-13 14:27 usr/include/gecode/set/view/cached.hpp -rw-r--r-- root/root 6584 2010-08-31 10:19 usr/include/gecode/set/view/set.hpp -rw-r--r-- root/root 15144 2011-05-01 17:24 usr/include/gecode/set/view/complement.hpp -rw-r--r-- root/root 4356 2013-03-06 19:18 usr/include/gecode/set/view/print.hpp -rw-r--r-- root/root 10521 2011-08-19 09:47 usr/include/gecode/set/view/singleton.hpp -rw-r--r-- root/root 18213 2010-07-28 10:35 usr/include/gecode/set/view/const.hpp -rw-r--r-- root/root 11296 2013-01-29 14:09 usr/include/gecode/set/int.hh -rw-r--r-- root/root 20060 2011-09-06 03:22 usr/include/gecode/set/var-imp.hpp -rw-r--r-- root/root 2788 2009-10-12 10:36 usr/include/gecode/set/distinct.hh drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/set/convex/ -rw-r--r-- root/root 2176 2009-10-12 10:36 usr/include/gecode/set/convex/conv.hpp -rw-r--r-- root/root 2242 2009-10-12 10:36 usr/include/gecode/set/convex/hull.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/set/element/ -rw-r--r-- root/root 9456 2012-09-07 10:31 usr/include/gecode/set/element/unionConst.hpp -rw-r--r-- root/root 9993 2012-09-07 10:31 usr/include/gecode/set/element/inter.hpp -rw-r--r-- root/root 10127 2012-09-07 10:31 usr/include/gecode/set/element/disjoint.hpp -rw-r--r-- root/root 11113 2012-09-07 10:31 usr/include/gecode/set/element/union.hpp -rw-r--r-- root/root 38610 2011-08-19 09:47 usr/include/gecode/set/view.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/set/int/ -rw-r--r-- root/root 23825 2012-10-18 22:58 usr/include/gecode/set/int/minmax.hpp -rw-r--r-- root/root 11487 2012-09-07 10:31 usr/include/gecode/set/int/weights.hpp -rw-r--r-- root/root 3202 2010-03-30 08:34 usr/include/gecode/set/int/card.hpp -rw-r--r-- root/root 3552 2009-10-12 10:36 usr/include/gecode/set/convex.hh drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/set/sequence/ -rw-r--r-- root/root 3679 2012-09-07 10:31 usr/include/gecode/set/sequence/common.hpp -rw-r--r-- root/root 2540 2012-09-07 10:31 usr/include/gecode/set/sequence/seq-u.hpp -rw-r--r-- root/root 2229 2012-09-07 10:31 usr/include/gecode/set/sequence/seq.hpp -rw-r--r-- root/root 2026 2010-04-18 13:43 usr/include/gecode/set/array.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/set/branch/ -rwxr-xr-x root/root 2020 2013-02-18 14:53 usr/include/gecode/set/branch/afc.hpp -rwxr-xr-x root/root 4929 2013-07-01 02:17 usr/include/gecode/set/branch/merit.hpp -rwxr-xr-x root/root 2110 2013-07-04 10:03 usr/include/gecode/set/branch/ngl.hpp -rwxr-xr-x root/root 3461 2013-07-04 10:03 usr/include/gecode/set/branch/val-commit.hpp -rwxr-xr-x root/root 2077 2012-09-07 04:29 usr/include/gecode/set/branch/traits.hpp -rwxr-xr-x root/root 2911 2012-09-19 08:14 usr/include/gecode/set/branch/assign.hpp -rwxr-xr-x root/root 3961 2012-10-02 08:49 usr/include/gecode/set/branch/val-sel.hpp -rwxr-xr-x root/root 6955 2013-02-19 06:26 usr/include/gecode/set/branch/var.hpp -rwxr-xr-x root/root 1862 2012-09-07 04:29 usr/include/gecode/set/branch/activity.hpp -rwxr-xr-x root/root 2989 2012-09-19 08:14 usr/include/gecode/set/branch/val.hpp -rw-r--r-- root/root 7331 2015-01-18 09:50 usr/include/gecode/set/element.hh drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/set/var/ -rw-r--r-- root/root 5824 2010-08-31 09:19 usr/include/gecode/set/var/set.hpp -rw-r--r-- root/root 1784 2008-12-08 05:03 usr/include/gecode/set/var/print.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/set/ldsb/ -rw-r--r-- root/root 9018 2013-05-02 10:10 usr/include/gecode/set/ldsb/brancher.hpp -rw-r--r-- root/root 9558 2011-11-03 05:52 usr/include/gecode/set/channel.hh drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/set/distinct/ -rw-r--r-- root/root 2242 2009-10-12 10:36 usr/include/gecode/set/distinct/atmostOne.hpp -rw-r--r-- root/root 2074 2009-09-30 05:12 usr/include/gecode/set/limits.hpp -rw-r--r-- root/root 12776 2013-07-04 10:03 usr/include/gecode/set/branch.hh -rwxr-xr-x root/root 4010 2013-07-14 19:49 usr/include/gecode/support.hh drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/minimodel/ -rwxr-xr-x root/root 2632 2013-01-22 06:48 usr/include/gecode/minimodel/int-rel.hpp -rw-r--r-- root/root 4151 2013-05-21 21:21 usr/include/gecode/minimodel/ldsb.hpp -rwxr-xr-x root/root 2696 2013-01-22 06:48 usr/include/gecode/minimodel/float-rel.hpp -rwxr-xr-x root/root 3250 2008-12-08 05:54 usr/include/gecode/minimodel/reg.hpp -rw-r--r-- root/root 2799 2008-08-22 04:36 usr/include/gecode/minimodel/exception.hpp -rwxr-xr-x root/root 1817 2011-11-09 03:41 usr/include/gecode/minimodel/bool-expr.hpp -rw-r--r-- root/root 7261 2010-05-15 09:19 usr/include/gecode/minimodel/matrix.hpp -rwxr-xr-x root/root 1702 2011-10-12 08:03 usr/include/gecode/minimodel/set-expr.hpp -rwxr-xr-x root/root 2480 2010-07-14 13:32 usr/include/gecode/minimodel/set-rel.hpp -rwxr-xr-x root/root 2481 2015-03-18 08:04 usr/include/gecode/minimodel/optimize.hpp -rw-r--r-- root/root 22070 2015-03-19 05:47 usr/include/gecode/flatzinc.hh drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/iter/ -rwxr-xr-x root/root 3946 2010-07-28 10:35 usr/include/gecode/iter/ranges-add.hpp -rwxr-xr-x root/root 3223 2009-01-26 08:15 usr/include/gecode/iter/values-array.hpp -rwxr-xr-x root/root 2996 2010-07-28 10:35 usr/include/gecode/iter/values-offset.hpp -rwxr-xr-x root/root 3739 2010-07-28 10:35 usr/include/gecode/iter/ranges-negative.hpp -rwxr-xr-x root/root 2811 2008-12-05 09:43 usr/include/gecode/iter/values-singleton.hpp -rwxr-xr-x root/root 3119 2010-07-28 10:35 usr/include/gecode/iter/values-unique.hpp -rwxr-xr-x root/root 3362 2010-07-28 10:35 usr/include/gecode/iter/ranges-values.hpp -rwxr-xr-x root/root 3183 2012-09-07 10:42 usr/include/gecode/iter/ranges-minus.hpp -rwxr-xr-x root/root 3035 2012-09-07 10:42 usr/include/gecode/iter/ranges-cache.hpp -rwxr-xr-x root/root 3434 2010-07-28 10:35 usr/include/gecode/iter/values-inter.hpp -rwxr-xr-x root/root 3171 2010-07-28 10:35 usr/include/gecode/iter/values-negative.hpp -rwxr-xr-x root/root 4718 2012-09-07 10:42 usr/include/gecode/iter/values-list.hpp -rwxr-xr-x root/root 6235 2012-02-16 19:33 usr/include/gecode/iter/ranges-scale.hpp -rwxr-xr-x root/root 6623 2010-07-28 10:35 usr/include/gecode/iter/ranges-map.hpp -rwxr-xr-x root/root 3769 2010-07-28 10:35 usr/include/gecode/iter/values-map.hpp -rw-r--r-- root/root 3269 2011-05-01 17:24 usr/include/gecode/iter/ranges-rangelist.hpp -rwxr-xr-x root/root 5112 2010-07-28 10:35 usr/include/gecode/iter/ranges-append.hpp -rwxr-xr-x root/root 3521 2011-02-01 07:31 usr/include/gecode/iter/values-union.hpp -rwxr-xr-x root/root 3770 2010-07-28 10:35 usr/include/gecode/iter/ranges-positive.hpp -rw-r--r-- root/root 3720 2010-07-28 10:35 usr/include/gecode/iter/ranges-size.hpp -rwxr-xr-x root/root 3281 2008-12-05 09:43 usr/include/gecode/iter/ranges-minmax.hpp -rwxr-xr-x root/root 2873 2008-12-05 09:43 usr/include/gecode/iter/ranges-empty.hpp -rwxr-xr-x root/root 3179 2010-07-28 10:35 usr/include/gecode/iter/values-bitset.hpp -rwxr-xr-x root/root 3169 2012-09-07 10:42 usr/include/gecode/iter/values-minus.hpp -rwxr-xr-x root/root 6879 2013-07-11 12:23 usr/include/gecode/iter/ranges-list.hpp -rwxr-xr-x root/root 5548 2010-07-28 10:35 usr/include/gecode/iter/ranges-compl.hpp -rwxr-xr-x root/root 3689 2009-01-26 08:15 usr/include/gecode/iter/ranges-array.hpp -rwxr-xr-x root/root 4270 2010-07-28 10:35 usr/include/gecode/iter/ranges-operations.hpp -rw-r--r-- root/root 3296 2013-03-06 19:18 usr/include/gecode/iter/values-bitsetoffset.hpp -rwxr-xr-x root/root 7871 2012-09-07 10:42 usr/include/gecode/iter/ranges-inter.hpp -rwxr-xr-x root/root 8713 2013-07-11 12:23 usr/include/gecode/iter/ranges-union.hpp -rwxr-xr-x root/root 2881 2010-07-28 10:35 usr/include/gecode/iter/values-ranges.hpp -rwxr-xr-x root/root 3023 2010-07-28 10:35 usr/include/gecode/iter/ranges-singleton-append.hpp -rwxr-xr-x root/root 3362 2010-07-28 10:35 usr/include/gecode/iter/ranges-offset.hpp -rwxr-xr-x root/root 3318 2010-07-28 10:35 usr/include/gecode/iter/values-positive.hpp -rwxr-xr-x root/root 3688 2010-07-28 10:35 usr/include/gecode/iter/ranges-diff.hpp -rwxr-xr-x root/root 2453 2008-12-05 09:43 usr/include/gecode/iter/ranges-singleton.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/kernel/ -rwxr-xr-x root/root 4918 2014-05-27 07:57 usr/include/gecode/kernel/afc.hpp -rwxr-xr-x root/root 7925 2013-02-18 14:53 usr/include/gecode/kernel/brancher-merit.hpp -rwxr-xr-x root/root 3450 2013-02-08 09:47 usr/include/gecode/kernel/branch-tiebreak.hpp -rwxr-xr-x root/root 3196 2010-04-08 05:35 usr/include/gecode/kernel/advisor.hpp -rwxr-xr-x root/root 4413 2010-03-03 10:40 usr/include/gecode/kernel/macros.hpp -rw-r--r-- root/root 7645 2011-10-11 12:28 usr/include/gecode/kernel/archive.hpp -rw-r--r-- root/root 7531 2013-07-04 10:03 usr/include/gecode/kernel/wait.hh -rw-r--r-- root/root 4751 2011-05-11 05:44 usr/include/gecode/kernel/range-list.hpp -rwxr-xr-x root/root 10163 2013-06-30 23:38 usr/include/gecode/kernel/global-afc.hpp -rw-r--r-- root/root 34275 2015-04-05 14:15 usr/include/gecode/kernel/var-type.hpp -rwxr-xr-x root/root 2542 2012-09-07 04:29 usr/include/gecode/kernel/branch-traits.hpp -rwxr-xr-x root/root 29198 2012-10-30 01:46 usr/include/gecode/kernel/brancher-view-sel.hpp -rw-r--r-- root/root 15707 2013-03-07 10:39 usr/include/gecode/kernel/allocators.hpp -rwxr-xr-x root/root 2836 2012-09-19 08:14 usr/include/gecode/kernel/branch-val.hpp -rwxr-xr-x root/root 4364 2012-10-02 08:49 usr/include/gecode/kernel/brancher-val-sel.hpp -rwxr-xr-x root/root 10801 2015-03-20 09:37 usr/include/gecode/kernel/brancher-view-val.hpp -rwxr-xr-x root/root 5732 2013-05-02 10:10 usr/include/gecode/kernel/exception.hpp -rwxr-xr-x root/root 5277 2013-07-04 10:03 usr/include/gecode/kernel/brancher-val-commit.hpp -rwxr-xr-x root/root 7000 2013-05-22 09:48 usr/include/gecode/kernel/brancher-view.hpp -rwxr-xr-x root/root 21574 2009-10-12 10:36 usr/include/gecode/kernel/propagator.hpp -rw-r--r-- root/root 16201 2015-04-05 14:15 usr/include/gecode/kernel/var-imp.hpp -rwxr-xr-x root/root 7967 2013-07-04 10:03 usr/include/gecode/kernel/brancher-val-sel-commit.hpp -rwxr-xr-x root/root 14792 2013-02-20 11:27 usr/include/gecode/kernel/region.hpp -rw-r--r-- root/root 124419 2015-03-20 09:37 usr/include/gecode/kernel/core.hpp -rwxr-xr-x root/root 10470 2013-03-13 00:01 usr/include/gecode/kernel/shared-array.hpp -rwxr-xr-x root/root 14082 2013-07-11 05:30 usr/include/gecode/kernel/memory-manager.hpp -rwxr-xr-x root/root 4869 2013-05-22 14:29 usr/include/gecode/kernel/branch-var.hpp -rwxr-xr-x root/root 2067 2008-08-22 04:36 usr/include/gecode/kernel/modevent.hpp -rwxr-xr-x root/root 3634 2012-09-07 04:29 usr/include/gecode/kernel/rnd.hpp -rwxr-xr-x root/root 4222 2013-02-18 14:53 usr/include/gecode/kernel/var.hpp -rwxr-xr-x root/root 20711 2013-02-18 14:53 usr/include/gecode/kernel/view.hpp -rwxr-xr-x root/root 62756 2014-11-04 17:53 usr/include/gecode/kernel/array.hpp -rwxr-xr-x root/root 5204 2013-07-08 10:25 usr/include/gecode/kernel/memory-config.hpp -rwxr-xr-x root/root 12848 2013-07-26 17:49 usr/include/gecode/kernel/activity.hpp -rw-r--r-- root/root 23791 2015-03-17 05:17 usr/include/gecode/search.hh -rwxr-xr-x root/root 3349 2013-03-06 19:18 usr/include/gecode/iter.hh -rw-r--r-- root/root 165057 2015-01-16 07:10 usr/include/gecode/int.hh drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/support/ -rwxr-xr-x root/root 8787 2013-10-14 17:46 usr/include/gecode/support/thread.hpp -rwxr-xr-x root/root 2890 2009-01-20 16:44 usr/include/gecode/support/macros.hpp -rw-r--r-- root/root 4598 2012-09-07 04:29 usr/include/gecode/support/random.hpp -rwxr-xr-x root/root 2403 2014-07-30 07:16 usr/include/gecode/support/bitset.hpp -rw-r--r-- root/root 4862 2013-07-11 05:30 usr/include/gecode/support/dynamic-stack.hpp -rw-r--r-- root/root 3825 2009-09-08 14:10 usr/include/gecode/support/dynamic-array.hpp -rw-r--r-- root/root 7358 2009-09-08 14:10 usr/include/gecode/support/sort.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/support/thread/ -rwxr-xr-x root/root 3027 2013-06-30 23:38 usr/include/gecode/support/thread/thread.hpp -rwxr-xr-x root/root 5607 2013-07-01 00:36 usr/include/gecode/support/thread/pthreads.hpp -rwxr-xr-x root/root 2990 2009-10-12 13:40 usr/include/gecode/support/thread/windows.hpp -rw-r--r-- root/root 2308 2011-09-19 07:02 usr/include/gecode/support/thread/none.hpp -rw-r--r-- root/root 3895 2015-04-05 14:15 usr/include/gecode/support/config.hpp -rwxr-xr-x root/root 3090 2011-03-14 10:07 usr/include/gecode/support/exception.hpp -rwxr-xr-x root/root 20784 2013-07-14 19:49 usr/include/gecode/support/heap.hpp -rw-r--r-- root/root 3011 2010-07-14 10:46 usr/include/gecode/support/timer.hpp -rwxr-xr-x root/root 2661 2009-10-16 03:20 usr/include/gecode/support/marked-pointer.hpp -rw-r--r-- root/root 16524 2014-08-28 07:29 usr/include/gecode/support/bitset-base.hpp -rwxr-xr-x root/root 2023 2013-10-24 09:42 usr/include/gecode/support/cast.hpp -rwxr-xr-x root/root 2200 2008-09-03 02:42 usr/include/gecode/support/auto-link.hpp -rwxr-xr-x root/root 5137 2010-01-26 06:22 usr/include/gecode/support/int-type.hpp -rw-r--r-- root/root 4205 2009-09-08 14:10 usr/include/gecode/support/dynamic-queue.hpp -rw-r--r-- root/root 4868 2013-03-07 10:39 usr/include/gecode/support/bitset-offset.hpp -rwxr-xr-x root/root 4930 2010-07-28 09:13 usr/include/gecode/support/block-allocator.hpp -rwxr-xr-x root/root 4221 2009-09-08 14:10 usr/include/gecode/support/static-stack.hpp -rwxr-xr-x root/root 1701 2012-08-29 07:02 usr/include/gecode/support/hw-rnd.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/flatzinc/ -rw-r--r-- root/root 2883 2012-02-20 18:27 usr/include/gecode/flatzinc/plugin.hh -rw-r--r-- root/root 14138 2014-09-30 20:55 usr/include/gecode/flatzinc/ast.hh -rw-r--r-- root/root 3069 2014-11-04 17:52 usr/include/gecode/flatzinc/symboltable.hh -rw-r--r-- root/root 2603 2014-08-06 22:31 usr/include/gecode/flatzinc/conexpr.hh -rw-r--r-- root/root 4387 2015-04-05 14:15 usr/include/gecode/flatzinc/parser.tab.hh -rw-r--r-- root/root 5490 2012-03-29 22:58 usr/include/gecode/flatzinc/varspec.hh -rw-r--r-- root/root 2402 2014-08-06 22:31 usr/include/gecode/flatzinc/registry.hh -rw-r--r-- root/root 7909 2014-08-06 22:31 usr/include/gecode/flatzinc/parser.hh -rw-r--r-- root/root 2156 2014-08-06 22:31 usr/include/gecode/flatzinc/option.hh -rw-r--r-- root/root 9395 2012-03-29 22:58 usr/include/gecode/gist.hh -rw-r--r-- root/root 53554 2014-04-28 13:54 usr/include/gecode/set.hh drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/driver/ -rwxr-xr-x root/root 16708 2015-03-17 10:09 usr/include/gecode/driver/script.hpp -rwxr-xr-x root/root 10301 2015-03-17 10:09 usr/include/gecode/driver/options.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/int/ drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/int/nvalues/ -rwxr-xr-x root/root 4892 2012-09-07 10:31 usr/include/gecode/int/nvalues/bool-eq.hpp -rw-r--r-- root/root 3516 2012-09-07 10:31 usr/include/gecode/int/nvalues/int-gq.hpp -rwxr-xr-x root/root 1798 2011-08-12 06:48 usr/include/gecode/int/nvalues/range-event.hpp -rwxr-xr-x root/root 3073 2011-08-11 04:59 usr/include/gecode/int/nvalues/bool-base.hpp -rwxr-xr-x root/root 4220 2012-09-07 10:31 usr/include/gecode/int/nvalues/bool-lq.hpp -rwxr-xr-x root/root 4042 2012-09-07 10:31 usr/include/gecode/int/nvalues/bool-gq.hpp -rwxr-xr-x root/root 8642 2012-09-07 10:31 usr/include/gecode/int/nvalues/graph.hpp -rwxr-xr-x root/root 2292 2011-08-18 02:41 usr/include/gecode/int/nvalues/sym-bit-matrix.hpp -rw-r--r-- root/root 4689 2012-09-07 10:31 usr/include/gecode/int/nvalues/int-eq.hpp -rw-r--r-- root/root 10491 2012-09-07 10:31 usr/include/gecode/int/nvalues/int-base.hpp -rw-r--r-- root/root 4151 2012-09-07 10:31 usr/include/gecode/int/nvalues/int-lq.hpp -rwxr-xr-x root/root 2782 2013-02-19 08:42 usr/include/gecode/int/div.hh -rw-r--r-- root/root 2795 2009-10-12 10:36 usr/include/gecode/int/exec.hh -rw-r--r-- root/root 3910 2011-06-30 09:20 usr/include/gecode/int/precede.hh drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/int/member/ -rwxr-xr-x root/root 4895 2012-09-07 10:31 usr/include/gecode/int/member/prop.hpp -rwxr-xr-x root/root 5268 2012-09-07 10:31 usr/include/gecode/int/member/re-prop.hpp -rw-r--r-- root/root 29360 2015-01-16 07:10 usr/include/gecode/int/arithmetic.hh -rwxr-xr-x root/root 10120 2009-10-12 10:36 usr/include/gecode/int/gcc.hh -rwxr-xr-x root/root 1804 2013-03-11 08:47 usr/include/gecode/int/int-set-2.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/int/sorted/ -rw-r--r-- root/root 6747 2012-09-07 10:31 usr/include/gecode/int/sorted/order.hpp -rw-r--r-- root/root 19637 2013-09-30 06:48 usr/include/gecode/int/sorted/propagate.hpp -rw-r--r-- root/root 8302 2012-09-07 10:31 usr/include/gecode/int/sorted/narrowing.hpp -rw-r--r-- root/root 5411 2009-09-08 14:10 usr/include/gecode/int/sorted/matching.hpp -rw-r--r-- root/root 14975 2010-04-08 05:35 usr/include/gecode/int/sorted/sortsup.hpp -rw-r--r-- root/root 3724 2015-01-16 07:10 usr/include/gecode/int/idx-view.hh -rw-r--r-- root/root 17068 2012-07-19 01:53 usr/include/gecode/int/extensional.hh drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/int/precede/ -rw-r--r-- root/root 6818 2011-06-30 09:20 usr/include/gecode/int/precede/single.hpp -rw-r--r-- root/root 9718 2014-08-28 07:29 usr/include/gecode/int/bin-packing.hh drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/int/var-imp/ -rwxr-xr-x root/root 26677 2013-02-14 09:29 usr/include/gecode/int/var-imp/int.hpp -rwxr-xr-x root/root 2023 2009-01-20 16:44 usr/include/gecode/int/var-imp/delta.hpp -rwxr-xr-x root/root 10290 2013-02-14 09:29 usr/include/gecode/int/var-imp/bool.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/int/count/ -rwxr-xr-x root/root 4207 2011-08-29 07:59 usr/include/gecode/int/count/int-gq.hpp -rwxr-xr-x root/root 4034 2011-09-20 06:58 usr/include/gecode/int/count/view-eq.hpp -rwxr-xr-x root/root 3794 2011-09-20 06:58 usr/include/gecode/int/count/view-gq.hpp -rwxr-xr-x root/root 3955 2011-08-29 07:59 usr/include/gecode/int/count/view-base.hpp -rwxr-xr-x root/root 4442 2011-08-29 07:59 usr/include/gecode/int/count/int-eq.hpp -rwxr-xr-x root/root 2720 2011-08-29 07:59 usr/include/gecode/int/count/int-base.hpp -rwxr-xr-x root/root 7335 2012-09-07 10:31 usr/include/gecode/int/count/rel.hpp -rwxr-xr-x root/root 4149 2011-08-29 07:59 usr/include/gecode/int/count/int-lq.hpp -rwxr-xr-x root/root 3244 2011-08-29 07:59 usr/include/gecode/int/count/view-lq.hpp -rw-r--r-- root/root 9987 2011-09-08 07:34 usr/include/gecode/int/view-val-graph.hh -rwxr-xr-x root/root 2297 2012-10-18 09:02 usr/include/gecode/int/reify.hpp -rw-r--r-- root/root 22438 2011-11-18 09:02 usr/include/gecode/int/rel.hh -rwxr-xr-x root/root 4289 2013-02-14 09:29 usr/include/gecode/int/support-values.hh -rw-r--r-- root/root 5212 2010-04-08 05:35 usr/include/gecode/int/sequence.hh -rw-r--r-- root/root 3896 2010-05-15 09:19 usr/include/gecode/int/array-traits.hpp -rw-r--r-- root/root 14051 2013-05-08 06:30 usr/include/gecode/int/ldsb.hh drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/int/view-val-graph/ -rwxr-xr-x root/root 3451 2011-08-17 13:37 usr/include/gecode/int/view-val-graph/edge.hpp -rwxr-xr-x root/root 2259 2011-09-08 07:34 usr/include/gecode/int/view-val-graph/iter-prune-val.hpp -rwxr-xr-x root/root 6192 2012-09-07 10:31 usr/include/gecode/int/view-val-graph/graph.hpp -rwxr-xr-x root/root 2447 2011-08-17 14:42 usr/include/gecode/int/view-val-graph/bi-link.hpp -rwxr-xr-x root/root 2393 2011-08-17 14:42 usr/include/gecode/int/view-val-graph/comb-ptr-flag.hpp -rwxr-xr-x root/root 4445 2011-09-08 07:34 usr/include/gecode/int/view-val-graph/node.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/int/cumulatives/ -rw-r--r-- root/root 13237 2012-09-07 10:31 usr/include/gecode/int/cumulatives/val.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/int/channel/ -rwxr-xr-x root/root 2950 2011-10-31 07:02 usr/include/gecode/int/channel/link-multi.hpp -rwxr-xr-x root/root 2727 2011-04-01 08:26 usr/include/gecode/int/channel/base.hpp -rwxr-xr-x root/root 10879 2012-09-07 10:31 usr/include/gecode/int/channel/dom.hpp -rwxr-xr-x root/root 2378 2009-10-12 10:36 usr/include/gecode/int/channel/link-single.hpp -rwxr-xr-x root/root 7874 2012-09-07 10:31 usr/include/gecode/int/channel/val.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/int/linear/ -rwxr-xr-x root/root 13594 2012-10-18 09:02 usr/include/gecode/int/linear/int-bin.hpp -rwxr-xr-x root/root 20611 2012-10-18 09:02 usr/include/gecode/int/linear/bool-int.hpp -rwxr-xr-x root/root 5568 2013-02-14 09:29 usr/include/gecode/int/linear/post.hpp -rw-r--r-- root/root 8090 2013-02-14 09:29 usr/include/gecode/int/linear/int-noview.hpp -rwxr-xr-x root/root 8688 2010-03-03 10:32 usr/include/gecode/int/linear/int-ter.hpp -rwxr-xr-x root/root 13035 2012-09-07 10:31 usr/include/gecode/int/linear/int-dom.hpp -rwxr-xr-x root/root 26371 2012-10-18 09:02 usr/include/gecode/int/linear/int-nary.hpp -rwxr-xr-x root/root 8793 2010-03-03 10:32 usr/include/gecode/int/linear/bool-view.hpp -rwxr-xr-x root/root 20435 2010-03-03 10:32 usr/include/gecode/int/linear/bool-scale.hpp -rwxr-xr-x root/root 6270 2013-03-11 08:47 usr/include/gecode/int/int-set-1.hpp -rwxr-xr-x root/root 5479 2011-05-25 09:56 usr/include/gecode/int/circuit.hh drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/int/no-overlap/ -rwxr-xr-x root/root 2704 2011-07-08 09:08 usr/include/gecode/int/no-overlap/base.hpp -rwxr-xr-x root/root 5384 2011-07-13 11:16 usr/include/gecode/int/no-overlap/box.hpp -rwxr-xr-x root/root 5090 2011-07-13 11:55 usr/include/gecode/int/no-overlap/dim.hpp -rwxr-xr-x root/root 3304 2012-09-10 12:36 usr/include/gecode/int/no-overlap/man.hpp -rwxr-xr-x root/root 4574 2012-10-22 14:13 usr/include/gecode/int/no-overlap/opt.hpp -rwxr-xr-x root/root 3674 2011-08-22 14:43 usr/include/gecode/int/val-set.hh -rw-r--r-- root/root 3588 2009-10-12 10:36 usr/include/gecode/int/sorted.hh -rw-r--r-- root/root 14047 2011-09-20 06:58 usr/include/gecode/int/count.hh drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/int/exec/ -rw-r--r-- root/root 1913 2009-10-12 10:36 usr/include/gecode/int/exec/when.hpp -rwxr-xr-x root/root 6753 2013-03-06 19:18 usr/include/gecode/int/exception.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/int/rel/ -rwxr-xr-x root/root 20843 2012-10-18 09:02 usr/include/gecode/int/rel/eq.hpp -rwxr-xr-x root/root 15720 2012-09-07 10:31 usr/include/gecode/int/rel/lq-le.hpp -rwxr-xr-x root/root 5295 2012-09-07 10:31 usr/include/gecode/int/rel/nq.hpp -rwxr-xr-x root/root 11234 2011-07-08 04:58 usr/include/gecode/int/rel/lex.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/int/view/ -rwxr-xr-x root/root 9730 2013-02-14 09:29 usr/include/gecode/int/view/cached.hpp -rwxr-xr-x root/root 7199 2013-02-14 09:29 usr/include/gecode/int/view/offset.hpp -rwxr-xr-x root/root 4176 2010-06-29 03:39 usr/include/gecode/int/view/neg-bool.hpp -rwxr-xr-x root/root 8401 2013-02-14 09:29 usr/include/gecode/int/view/scale.hpp -rwxr-xr-x root/root 5853 2013-03-06 19:18 usr/include/gecode/int/view/rel-test.hpp -rwxr-xr-x root/root 7224 2013-02-14 09:29 usr/include/gecode/int/view/zero.hpp -rwxr-xr-x root/root 6034 2013-02-14 09:29 usr/include/gecode/int/view/int.hpp -rwxr-xr-x root/root 7658 2013-02-14 09:29 usr/include/gecode/int/view/constint.hpp -rwxr-xr-x root/root 2198 2009-01-20 16:44 usr/include/gecode/int/view/bool-test.hpp -rwxr-xr-x root/root 5057 2013-03-06 19:18 usr/include/gecode/int/view/print.hpp -rwxr-xr-x root/root 7073 2013-02-14 09:29 usr/include/gecode/int/view/bool.hpp -rwxr-xr-x root/root 2107 2009-09-08 14:10 usr/include/gecode/int/view/iter.hpp -rwxr-xr-x root/root 6967 2013-02-14 09:29 usr/include/gecode/int/view/minus.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/int/dom/ -rwxr-xr-x root/root 3900 2011-11-18 09:02 usr/include/gecode/int/dom/range.hpp -rwxr-xr-x root/root 4152 2011-11-18 09:02 usr/include/gecode/int/dom/set.hpp -rwxr-xr-x root/root 10150 2013-04-17 09:39 usr/include/gecode/int/propagator.hpp -rw-r--r-- root/root 23118 2013-02-14 09:29 usr/include/gecode/int/var-imp.hpp -rwxr-xr-x root/root 13433 2013-03-11 00:26 usr/include/gecode/int/task.hh drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/int/cumulative/ -rwxr-xr-x root/root 7915 2013-03-11 00:26 usr/include/gecode/int/cumulative/tree.hpp -rwxr-xr-x root/root 2265 2013-03-11 00:26 usr/include/gecode/int/cumulative/overload.hpp -rwxr-xr-x root/root 5867 2013-03-11 00:26 usr/include/gecode/int/cumulative/edge-finding.hpp -rwxr-xr-x root/root 3173 2011-05-25 09:56 usr/include/gecode/int/cumulative/task-view.hpp -rwxr-xr-x root/root 4391 2011-07-13 15:44 usr/include/gecode/int/cumulative/man-prop.hpp -rwxr-xr-x root/root 6715 2012-09-07 10:31 usr/include/gecode/int/cumulative/basic.hpp -rwxr-xr-x root/root 5585 2011-07-13 15:44 usr/include/gecode/int/cumulative/opt-prop.hpp -rw-r--r-- root/root 1980 2013-03-11 00:26 usr/include/gecode/int/cumulative/limits.hpp -rwxr-xr-x root/root 7697 2013-03-11 00:26 usr/include/gecode/int/cumulative/task.hpp -rwxr-xr-x root/root 5164 2013-02-14 09:29 usr/include/gecode/int/support-values.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/int/circuit/ -rwxr-xr-x root/root 8694 2012-09-07 10:31 usr/include/gecode/int/circuit/base.hpp -rwxr-xr-x root/root 4084 2011-09-06 07:19 usr/include/gecode/int/circuit/dom.hpp -rwxr-xr-x root/root 3354 2011-05-25 09:56 usr/include/gecode/int/circuit/val.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/int/arithmetic/ -rwxr-xr-x root/root 11164 2013-02-14 09:29 usr/include/gecode/int/arithmetic/divmod.hpp -rwxr-xr-x root/root 10395 2013-02-14 09:29 usr/include/gecode/int/arithmetic/mult.hpp -rwxr-xr-x root/root 14664 2013-08-29 09:05 usr/include/gecode/int/arithmetic/nroot.hpp -rw-r--r-- root/root 7925 2015-03-20 09:37 usr/include/gecode/int/arithmetic/argmax.hpp -rwxr-xr-x root/root 12893 2012-09-07 10:31 usr/include/gecode/int/arithmetic/max.hpp -rwxr-xr-x root/root 5423 2013-08-22 13:55 usr/include/gecode/int/arithmetic/pow-ops.hpp -rwxr-xr-x root/root 7055 2012-09-07 10:31 usr/include/gecode/int/arithmetic/abs.hpp -rwxr-xr-x root/root 16738 2013-03-12 14:08 usr/include/gecode/int/arithmetic/pow.hpp -rw-r--r-- root/root 10905 2011-10-06 10:27 usr/include/gecode/int/distinct.hh -rw-r--r-- root/root 53994 2013-02-14 09:29 usr/include/gecode/int/linear.hh -rwxr-xr-x root/root 23980 2013-03-11 00:26 usr/include/gecode/int/cumulative.hh drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/int/element/ -rwxr-xr-x root/root 12964 2012-09-07 10:31 usr/include/gecode/int/element/int.hpp -rwxr-xr-x root/root 12511 2015-01-16 07:10 usr/include/gecode/int/element/view.hpp -rwxr-xr-x root/root 2766 2009-10-29 08:58 usr/include/gecode/int/element/pair.hpp -rwxr-xr-x root/root 3110 2013-02-19 08:42 usr/include/gecode/int/div.hpp -rw-r--r-- root/root 4707 2015-01-16 07:10 usr/include/gecode/int/idx-view.hpp -rw-r--r-- root/root 22681 2013-04-17 10:17 usr/include/gecode/int/bool.hh drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/int/bool/ -rwxr-xr-x root/root 27183 2012-09-10 04:31 usr/include/gecode/int/bool/or.hpp -rwxr-xr-x root/root 4347 2009-10-12 10:36 usr/include/gecode/int/bool/base.hpp -rwxr-xr-x root/root 5871 2012-09-07 10:31 usr/include/gecode/int/bool/eq.hpp -rwxr-xr-x root/root 8368 2013-04-29 13:52 usr/include/gecode/int/bool/ite.hpp -rwxr-xr-x root/root 10284 2012-09-07 10:31 usr/include/gecode/int/bool/clause.hpp -rwxr-xr-x root/root 6564 2011-10-07 04:28 usr/include/gecode/int/bool/eqv.hpp -rwxr-xr-x root/root 6361 2011-06-20 04:16 usr/include/gecode/int/bool/lq.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/int/unary/ -rwxr-xr-x root/root 3656 2012-09-07 10:31 usr/include/gecode/int/unary/detectable.hpp -rwxr-xr-x root/root 6485 2011-05-25 09:56 usr/include/gecode/int/unary/tree.hpp -rwxr-xr-x root/root 3053 2012-09-07 10:31 usr/include/gecode/int/unary/overload.hpp -rwxr-xr-x root/root 1976 2011-05-25 09:56 usr/include/gecode/int/unary/subsumption.hpp -rwxr-xr-x root/root 2512 2012-09-07 10:31 usr/include/gecode/int/unary/edge-finding.hpp -rwxr-xr-x root/root 3913 2011-05-25 09:56 usr/include/gecode/int/unary/task-view.hpp -rwxr-xr-x root/root 2684 2011-05-25 09:56 usr/include/gecode/int/unary/man-prop.hpp -rwxr-xr-x root/root 3669 2011-05-25 09:56 usr/include/gecode/int/unary/opt-prop.hpp -rwxr-xr-x root/root 4250 2014-02-20 10:00 usr/include/gecode/int/unary/not-first-not-last.hpp -rwxr-xr-x root/root 13567 2011-05-25 09:56 usr/include/gecode/int/unary/task.hpp -rwxr-xr-x root/root 55429 2013-02-14 10:04 usr/include/gecode/int/view.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/int/task/ -rwxr-xr-x root/root 2359 2011-05-25 09:56 usr/include/gecode/int/task/prop.hpp -rwxr-xr-x root/root 6636 2011-05-25 09:56 usr/include/gecode/int/task/sort.hpp -rwxr-xr-x root/root 3084 2011-05-25 09:56 usr/include/gecode/int/task/fwd-to-bwd.hpp -rwxr-xr-x root/root 3094 2011-05-25 09:56 usr/include/gecode/int/task/man-to-opt.hpp -rwxr-xr-x root/root 5476 2013-03-11 00:26 usr/include/gecode/int/task/tree.hpp -rwxr-xr-x root/root 2412 2011-07-12 11:03 usr/include/gecode/int/task/purge.hpp -rwxr-xr-x root/root 4723 2011-05-25 09:56 usr/include/gecode/int/task/array.hpp -rwxr-xr-x root/root 2958 2011-05-25 09:56 usr/include/gecode/int/task/iter.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/int/bin-packing/ -rwxr-xr-x root/root 5210 2010-10-05 10:03 usr/include/gecode/int/bin-packing/propagate.hpp -rw-r--r-- root/root 10277 2015-03-20 09:37 usr/include/gecode/int/bin-packing/conflict-graph.hpp -rw-r--r-- root/root 14147 2011-09-07 09:15 usr/include/gecode/int/nvalues.hh drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/int/sequence/ -rw-r--r-- root/root 3024 2010-07-14 10:46 usr/include/gecode/int/sequence/violations.hpp -rw-r--r-- root/root 4897 2010-03-03 09:38 usr/include/gecode/int/sequence/set-op.hpp -rw-r--r-- root/root 6051 2012-09-07 10:31 usr/include/gecode/int/sequence/int.hpp -rw-r--r-- root/root 15083 2011-05-23 09:48 usr/include/gecode/int/sequence/view.hpp -rw-r--r-- root/root 9217 2012-09-10 12:36 usr/include/gecode/int/no-overlap.hh -rwxr-xr-x root/root 3187 2012-03-29 18:56 usr/include/gecode/int/array.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/int/branch/ -rwxr-xr-x root/root 2235 2013-02-18 14:53 usr/include/gecode/int/branch/afc.hpp -rwxr-xr-x root/root 6224 2013-02-19 06:26 usr/include/gecode/int/branch/merit.hpp -rwxr-xr-x root/root 5949 2013-07-04 10:03 usr/include/gecode/int/branch/view-values.hpp -rwxr-xr-x root/root 4735 2013-11-08 02:45 usr/include/gecode/int/branch/ngl.hpp -rwxr-xr-x root/root 5408 2013-07-04 10:03 usr/include/gecode/int/branch/val-commit.hpp -rwxr-xr-x root/root 2580 2012-09-07 04:29 usr/include/gecode/int/branch/traits.hpp -rwxr-xr-x root/root 2636 2012-09-19 08:14 usr/include/gecode/int/branch/assign.hpp -rwxr-xr-x root/root 8069 2013-03-05 13:51 usr/include/gecode/int/branch/val-sel.hpp -rwxr-xr-x root/root 8379 2013-02-19 06:26 usr/include/gecode/int/branch/var.hpp -rwxr-xr-x root/root 1862 2013-02-18 14:53 usr/include/gecode/int/branch/activity.hpp -rwxr-xr-x root/root 4011 2013-06-23 11:58 usr/include/gecode/int/branch/val.hpp -rwxr-xr-x root/root 10913 2015-01-16 07:10 usr/include/gecode/int/element.hh drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/int/var/ -rw-r--r-- root/root 3585 2010-08-31 09:19 usr/include/gecode/int/var/int.hpp -rwxr-xr-x root/root 1977 2009-01-20 16:44 usr/include/gecode/int/var/print.hpp -rw-r--r-- root/root 3222 2010-08-31 09:19 usr/include/gecode/int/var/bool.hpp -rw-r--r-- root/root 4749 2011-07-13 07:17 usr/include/gecode/int/cumulatives.hh drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/int/ldsb/ -rw-r--r-- root/root 8198 2013-05-20 06:21 usr/include/gecode/int/ldsb/brancher.hpp -rw-r--r-- root/root 10289 2013-03-06 19:18 usr/include/gecode/int/ldsb/sym-imp.hpp -rwxr-xr-x root/root 25488 2011-07-13 13:01 usr/include/gecode/int/unary.hh -rw-r--r-- root/root 4507 2011-11-18 09:02 usr/include/gecode/int/member.hh drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/int/extensional/ -rw-r--r-- root/root 5107 2012-07-19 01:53 usr/include/gecode/int/extensional/base.hpp -rwxr-xr-x root/root 7569 2013-03-07 10:39 usr/include/gecode/int/extensional/dfa.hpp -rwxr-xr-x root/root 32934 2012-09-07 10:31 usr/include/gecode/int/extensional/layered-graph.hpp -rw-r--r-- root/root 4754 2012-09-07 10:31 usr/include/gecode/int/extensional/basic.hpp -rw-r--r-- root/root 5066 2012-04-10 19:34 usr/include/gecode/int/extensional/tuple-set.hpp -rw-r--r-- root/root 12790 2012-09-07 10:31 usr/include/gecode/int/extensional/incremental.hpp -rwxr-xr-x root/root 8854 2011-07-07 04:23 usr/include/gecode/int/channel.hh drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/int/distinct/ -rwxr-xr-x root/root 8039 2012-09-07 10:31 usr/include/gecode/int/distinct/graph.hpp -rwxr-xr-x root/root 3875 2011-09-06 07:19 usr/include/gecode/int/distinct/dom.hpp -rwxr-xr-x root/root 2310 2011-09-07 09:15 usr/include/gecode/int/distinct/dom-ctrl.hpp -rwxr-xr-x root/root 3877 2010-03-03 10:32 usr/include/gecode/int/distinct/ter-dom.hpp -rwxr-xr-x root/root 13291 2013-11-15 07:53 usr/include/gecode/int/distinct/bnd.hpp -rwxr-xr-x root/root 5589 2012-09-07 10:31 usr/include/gecode/int/distinct/val.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/int/gcc/ -rwxr-xr-x root/root 15614 2012-09-07 10:31 usr/include/gecode/int/gcc/bnd-sup.hpp -rw-r--r-- root/root 4950 2012-09-07 10:31 usr/include/gecode/int/gcc/post.hpp -rw-r--r-- root/root 45848 2013-03-12 14:10 usr/include/gecode/int/gcc/dom-sup.hpp -rwxr-xr-x root/root 9880 2012-09-07 10:31 usr/include/gecode/int/gcc/dom.hpp -rw-r--r-- root/root 10493 2010-06-29 03:39 usr/include/gecode/int/gcc/view.hpp -rw-r--r-- root/root 26005 2012-09-07 10:31 usr/include/gecode/int/gcc/bnd.hpp -rw-r--r-- root/root 8516 2012-09-07 10:31 usr/include/gecode/int/gcc/val.hpp -rwxr-xr-x root/root 4642 2011-08-22 14:43 usr/include/gecode/int/val-set.hpp -rw-r--r-- root/root 4752 2013-02-14 09:29 usr/include/gecode/int/limits.hpp -rwxr-xr-x root/root 3959 2011-11-14 12:23 usr/include/gecode/int/dom.hh -rwxr-xr-x root/root 22616 2013-07-08 12:23 usr/include/gecode/int/branch.hh -rwxr-xr-x root/root 5372 2013-11-14 07:35 usr/include/gecode/kernel.hh drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/float/ drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/float/transcendental/ -rw-r--r-- root/root 4011 2012-07-27 03:25 usr/include/gecode/float/transcendental/exp-log.hpp -rw-r--r-- root/root 17136 2013-02-14 09:29 usr/include/gecode/float/arithmetic.hh drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/float/trigonometric/ -rw-r--r-- root/root 4247 2012-07-26 19:28 usr/include/gecode/float/trigonometric/asinacos.hpp -rw-r--r-- root/root 7413 2013-02-04 14:28 usr/include/gecode/float/trigonometric/tanatan.hpp -rw-r--r-- root/root 8296 2013-02-04 14:28 usr/include/gecode/float/trigonometric/sincos.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/float/var-imp/ -rw-r--r-- root/root 2164 2012-03-28 09:47 usr/include/gecode/float/var-imp/delta.hpp -rw-r--r-- root/root 7065 2013-02-04 10:54 usr/include/gecode/float/var-imp/float.hpp -rw-r--r-- root/root 13010 2012-12-13 09:02 usr/include/gecode/float/rel.hh -rw-r--r-- root/root 3008 2013-01-29 10:43 usr/include/gecode/float/array-traits.hpp -rwxr-xr-x root/root 3143 2013-02-13 02:12 usr/include/gecode/float/rounding.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/float/linear/ -rw-r--r-- root/root 10818 2013-02-13 09:01 usr/include/gecode/float/linear/nary.hpp -rw-r--r-- root/root 5202 2013-01-25 07:48 usr/include/gecode/float/exception.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/float/rel/ -rw-r--r-- root/root 10113 2013-01-24 12:28 usr/include/gecode/float/rel/eq.hpp -rw-r--r-- root/root 11619 2013-03-18 04:20 usr/include/gecode/float/rel/lq-le.hpp -rw-r--r-- root/root 3925 2013-01-24 12:28 usr/include/gecode/float/rel/nq.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/float/view/ -rw-r--r-- root/root 4312 2012-04-06 06:04 usr/include/gecode/float/view/offset.hpp -rw-r--r-- root/root 4691 2012-04-06 06:04 usr/include/gecode/float/view/scale.hpp -rw-r--r-- root/root 2865 2013-01-24 12:28 usr/include/gecode/float/view/rel-test.hpp -rw-r--r-- root/root 3060 2012-04-06 06:04 usr/include/gecode/float/view/print.hpp -rw-r--r-- root/root 4046 2012-04-06 06:04 usr/include/gecode/float/view/float.hpp -rw-r--r-- root/root 3931 2012-04-06 06:04 usr/include/gecode/float/view/minus.hpp -rw-r--r-- root/root 5902 2013-02-04 10:54 usr/include/gecode/float/var-imp.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/float/arithmetic/ -rw-r--r-- root/root 10482 2013-02-04 14:28 usr/include/gecode/float/arithmetic/mult.hpp -rw-r--r-- root/root 5292 2013-01-30 03:22 usr/include/gecode/float/arithmetic/pow-nroot.hpp -rw-r--r-- root/root 9280 2013-02-14 09:29 usr/include/gecode/float/arithmetic/min-max-channel.hpp -rw-r--r-- root/root 2952 2012-07-20 07:50 usr/include/gecode/float/arithmetic/div.hpp -rw-r--r-- root/root 7958 2013-02-04 14:28 usr/include/gecode/float/arithmetic/sqr-sqrt-abs.hpp -rw-r--r-- root/root 7425 2013-01-24 12:28 usr/include/gecode/float/linear.hh -rw-r--r-- root/root 7671 2012-03-27 06:23 usr/include/gecode/float/trigonometric.hh -rw-r--r-- root/root 15927 2013-02-04 10:54 usr/include/gecode/float/view.hpp -rw-r--r-- root/root 3096 2013-01-29 10:43 usr/include/gecode/float/array.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/float/branch/ -rwxr-xr-x root/root 2050 2013-02-18 14:53 usr/include/gecode/float/branch/afc.hpp -rwxr-xr-x root/root 4729 2013-06-13 13:53 usr/include/gecode/float/branch/merit.hpp -rwxr-xr-x root/root 2912 2013-07-04 10:03 usr/include/gecode/float/branch/val-commit.hpp -rwxr-xr-x root/root 2102 2013-05-29 06:53 usr/include/gecode/float/branch/traits.hpp -rwxr-xr-x root/root 2414 2012-09-19 08:14 usr/include/gecode/float/branch/assign.hpp -rwxr-xr-x root/root 3381 2013-05-29 06:53 usr/include/gecode/float/branch/val-sel.hpp -rwxr-xr-x root/root 7260 2013-02-19 06:26 usr/include/gecode/float/branch/var.hpp -rwxr-xr-x root/root 1882 2012-09-07 04:29 usr/include/gecode/float/branch/activity.hpp -rwxr-xr-x root/root 2497 2012-09-19 08:14 usr/include/gecode/float/branch/val.hpp -rwxr-xr-x root/root 2387 2014-10-03 08:34 usr/include/gecode/float/num.hpp drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/gecode/float/var/ -rwxr-xr-x root/root 1842 2012-03-29 22:54 usr/include/gecode/float/var/print.hpp -rw-r--r-- root/root 2729 2012-04-06 06:04 usr/include/gecode/float/var/float.hpp -rwxr-xr-x root/root 13484 2014-10-03 08:34 usr/include/gecode/float/val.hpp -rw-r--r-- root/root 1897 2012-03-27 06:23 usr/include/gecode/float/limits.hpp -rwxr-xr-x root/root 1893 2013-10-31 08:09 usr/include/gecode/float/nextafter.hpp -rw-r--r-- root/root 3862 2012-04-02 01:21 usr/include/gecode/float/transcendental.hh -rw-r--r-- root/root 10379 2013-07-04 10:03 usr/include/gecode/float/branch.hh drwxr-xr-x root/root 0 2015-04-05 14:15 usr/include/examples/ -rw-r--r-- root/root 903692 2010-05-07 03:30 usr/include/examples/scowl.hpp