++======================================== || || Package: ./academic/cvc4/cvc4-1.8-x86_64-1_slackdce.txz || ++======================================== drwxr-xr-x root/root 0 2025-05-15 17:57 ./ drwxr-xr-x root/root 0 2025-05-15 17:57 install/ -rw-r--r-- root/root 192 2025-05-15 17:57 install/doinst.sh -rw-r--r-- root/root 1025 2025-05-15 17:57 install/slack-desc drwxr-xr-x root/root 0 2025-05-15 17:57 usr/ drwxr-xr-x root/root 0 2025-05-15 17:57 usr/bin/ -rwxr-xr-x root/root 114712 2025-05-15 17:57 usr/bin/cvc4 drwxr-xr-x root/root 0 2025-05-15 17:57 usr/doc/ drwxr-xr-x root/root 0 2025-05-15 17:57 usr/doc/cvc4-1.8/ -rw-r--r-- root/root 2008 2020-06-19 13:59 usr/doc/cvc4-1.8/AUTHORS -rw-r--r-- root/root 5557 2020-06-19 13:59 usr/doc/cvc4-1.8/COPYING -rw-r--r-- root/root 12685 2020-06-19 13:59 usr/doc/cvc4-1.8/NEWS -rw-r--r-- root/root 3247 2020-06-19 13:59 usr/doc/cvc4-1.8/README.md -rw-r--r-- root/root 2085 2020-06-19 13:59 usr/doc/cvc4-1.8/THANKS -rw-r--r-- root/root 3860 2025-05-15 17:57 usr/doc/cvc4-1.8/cvc4.SlackBuild drwxr-xr-x root/root 0 2025-05-15 17:57 usr/include/ drwxr-xr-x root/root 0 2025-05-15 17:57 usr/include/cvc4/ drwxr-xr-x root/root 0 2025-05-15 17:57 usr/include/cvc4/api/ -rw-r--r-- root/root 97150 2020-06-19 13:59 usr/include/cvc4/api/cvc4cpp.h -rw-r--r-- root/root 72089 2020-06-19 13:59 usr/include/cvc4/api/cvc4cppkind.h drwxr-xr-x root/root 0 2025-05-15 17:57 usr/include/cvc4/base/ -rw-r--r-- root/root 3376 2020-06-19 13:59 usr/include/cvc4/base/configuration.h -rw-r--r-- root/root 5374 2020-06-19 13:59 usr/include/cvc4/base/exception.h -rw-r--r-- root/root 5010 2020-06-19 13:59 usr/include/cvc4/base/listener.h -rw-r--r-- root/root 1902 2020-06-19 13:59 usr/include/cvc4/base/modal_exception.h drwxr-xr-x root/root 0 2025-05-15 17:57 usr/include/cvc4/context/ -rw-r--r-- root/root 1405 2020-06-19 13:59 usr/include/cvc4/context/cdhashmap_forward.h -rw-r--r-- root/root 1303 2020-06-19 13:59 usr/include/cvc4/context/cdhashset_forward.h -rw-r--r-- root/root 1399 2020-06-19 13:59 usr/include/cvc4/context/cdinsert_hashmap_forward.h -rw-r--r-- root/root 1898 2020-06-19 13:59 usr/include/cvc4/context/cdlist_forward.h -rw-r--r-- root/root 1159 2020-06-19 13:59 usr/include/cvc4/cvc4.h -rw-r--r-- root/root 2050 2020-06-19 13:59 usr/include/cvc4/cvc4_public.h -rw-r--r-- root/root 917 2020-06-19 13:59 usr/include/cvc4/cvc4parser_public.h drwxr-xr-x root/root 0 2025-05-15 17:57 usr/include/cvc4/expr/ -rw-r--r-- root/root 803 2020-06-19 13:59 usr/include/cvc4/expr/array.h -rw-r--r-- root/root 2300 2020-06-19 13:59 usr/include/cvc4/expr/array_store_all.h -rw-r--r-- root/root 1953 2020-06-19 13:59 usr/include/cvc4/expr/ascription_type.h -rw-r--r-- root/root 35731 2020-06-19 13:59 usr/include/cvc4/expr/datatype.h -rw-r--r-- root/root 2074 2020-06-19 13:59 usr/include/cvc4/expr/emptyset.h -rw-r--r-- root/root 28731 2025-05-15 17:44 usr/include/cvc4/expr/expr.h -rw-r--r-- root/root 6122 2020-06-19 13:59 usr/include/cvc4/expr/expr_iomanip.h -rw-r--r-- root/root 30069 2025-05-15 17:44 usr/include/cvc4/expr/expr_manager.h -rw-r--r-- root/root 2234 2020-06-19 13:59 usr/include/cvc4/expr/expr_sequence.h -rw-r--r-- root/root 30036 2025-05-15 17:44 usr/include/cvc4/expr/kind.h -rw-r--r-- root/root 2740 2020-06-19 13:59 usr/include/cvc4/expr/record.h -rw-r--r-- root/root 6998 2020-06-19 13:59 usr/include/cvc4/expr/symbol_table.h -rw-r--r-- root/root 18223 2020-06-19 13:59 usr/include/cvc4/expr/type.h -rw-r--r-- root/root 2180 2020-06-19 13:59 usr/include/cvc4/expr/uninterpreted_constant.h -rw-r--r-- root/root 1697 2020-06-19 13:59 usr/include/cvc4/expr/variable_type_map.h drwxr-xr-x root/root 0 2025-05-15 17:57 usr/include/cvc4/options/ -rw-r--r-- root/root 6736 2020-06-19 13:59 usr/include/cvc4/options/language.h -rw-r--r-- root/root 2110 2020-06-19 13:59 usr/include/cvc4/options/option_exception.h -rw-r--r-- root/root 16057 2020-06-19 13:59 usr/include/cvc4/options/options.h -rw-r--r-- root/root 1266 2020-06-19 13:59 usr/include/cvc4/options/printer_modes.h -rw-r--r-- root/root 2742 2020-06-19 13:59 usr/include/cvc4/options/set_language.h drwxr-xr-x root/root 0 2025-05-15 17:57 usr/include/cvc4/parser/ -rw-r--r-- root/root 5390 2020-06-19 13:59 usr/include/cvc4/parser/input.h -rw-r--r-- root/root 3148 2020-06-19 13:59 usr/include/cvc4/parser/parse_op.h -rw-r--r-- root/root 29922 2020-06-19 13:59 usr/include/cvc4/parser/parser.h -rw-r--r-- root/root 5062 2020-06-19 13:59 usr/include/cvc4/parser/parser_builder.h -rw-r--r-- root/root 2774 2020-06-19 13:59 usr/include/cvc4/parser/parser_exception.h drwxr-xr-x root/root 0 2025-05-15 17:57 usr/include/cvc4/printer/ -rw-r--r-- root/root 4374 2020-06-19 13:59 usr/include/cvc4/printer/sygus_print_callback.h drwxr-xr-x root/root 0 2025-05-15 17:57 usr/include/cvc4/proof/ -rw-r--r-- root/root 1920 2020-06-19 13:59 usr/include/cvc4/proof/unsat_core.h drwxr-xr-x root/root 0 2025-05-15 17:57 usr/include/cvc4/smt/ -rw-r--r-- root/root 45202 2020-06-19 13:59 usr/include/cvc4/smt/command.h -rw-r--r-- root/root 1391 2020-06-19 13:59 usr/include/cvc4/smt/logic_exception.h -rw-r--r-- root/root 46221 2020-06-19 13:59 usr/include/cvc4/smt/smt_engine.h drwxr-xr-x root/root 0 2025-05-15 17:57 usr/include/cvc4/theory/ -rw-r--r-- root/root 9243 2020-06-19 13:59 usr/include/cvc4/theory/logic_info.h -rw-r--r-- root/root 1576 2020-06-19 13:59 usr/include/cvc4/theory/theory_id.h drwxr-xr-x root/root 0 2025-05-15 17:57 usr/include/cvc4/util/ -rw-r--r-- root/root 1769 2020-06-19 13:59 usr/include/cvc4/util/abstract_value.h -rw-r--r-- root/root 14028 2020-06-19 13:59 usr/include/cvc4/util/bitvector.h -rw-r--r-- root/root 848 2020-06-19 13:59 usr/include/cvc4/util/bool.h -rw-r--r-- root/root 6866 2020-06-19 13:59 usr/include/cvc4/util/cardinality.h -rw-r--r-- root/root 1608 2020-06-19 13:59 usr/include/cvc4/util/divisible.h -rw-r--r-- root/root 20135 2025-05-15 17:44 usr/include/cvc4/util/floatingpoint.h -rw-r--r-- root/root 1363 2020-06-19 13:59 usr/include/cvc4/util/gmp_util.h -rw-r--r-- root/root 1937 2020-06-19 13:59 usr/include/cvc4/util/hash.h -rw-r--r-- root/root 1163 2025-05-15 17:44 usr/include/cvc4/util/integer.h -rw-r--r-- root/root 15272 2020-06-19 13:59 usr/include/cvc4/util/integer_cln_imp.h -rw-r--r-- root/root 14066 2020-06-19 13:59 usr/include/cvc4/util/integer_gmp_imp.h -rw-r--r-- root/root 2130 2020-06-19 13:59 usr/include/cvc4/util/maybe.h -rw-r--r-- root/root 1186 2020-06-19 13:59 usr/include/cvc4/util/proof.h -rw-r--r-- root/root 1170 2025-05-15 17:44 usr/include/cvc4/util/rational.h -rw-r--r-- root/root 9974 2020-06-19 13:59 usr/include/cvc4/util/rational_cln_imp.h -rw-r--r-- root/root 9578 2020-06-19 13:59 usr/include/cvc4/util/rational_gmp_imp.h -rw-r--r-- root/root 2101 2020-06-19 13:59 usr/include/cvc4/util/regexp.h -rw-r--r-- root/root 5986 2020-06-19 13:59 usr/include/cvc4/util/resource_manager.h -rw-r--r-- root/root 4363 2020-06-19 13:59 usr/include/cvc4/util/result.h -rw-r--r-- root/root 8693 2020-06-19 13:59 usr/include/cvc4/util/sexpr.h -rw-r--r-- root/root 3585 2020-06-19 13:59 usr/include/cvc4/util/statistics.h -rw-r--r-- root/root 9355 2020-06-19 13:59 usr/include/cvc4/util/string.h -rw-r--r-- root/root 1512 2020-06-19 13:59 usr/include/cvc4/util/tuple.h -rw-r--r-- root/root 1288 2020-06-19 13:59 usr/include/cvc4/util/unsafe_interrupt_exception.h drwxr-xr-x root/root 0 2025-05-15 17:57 usr/lib64/ drwxr-xr-x root/root 0 2025-05-15 17:57 usr/lib64/cmake/ drwxr-xr-x root/root 0 2025-05-15 17:57 usr/lib64/cmake/CVC4/ -rw-r--r-- root/root 1572 2025-05-15 17:44 usr/lib64/cmake/CVC4/CVC4Config.cmake -rw-r--r-- root/root 3359 2025-05-15 17:44 usr/lib64/cmake/CVC4/CVC4ConfigVersion.cmake -rw-r--r-- root/root 1313 2025-05-15 17:44 usr/lib64/cmake/CVC4/CVC4Targets-production.cmake -rw-r--r-- root/root 4005 2025-05-15 17:44 usr/lib64/cmake/CVC4/CVC4Targets.cmake -rwxr-xr-x root/root 23359744 2025-05-15 17:57 usr/lib64/libcvc4.so.7 -rwxr-xr-x root/root 2641584 2025-05-15 17:57 usr/lib64/libcvc4parser.so.7 drwxr-xr-x root/root 0 2025-05-15 17:57 usr/lib64/python2.7/ drwxr-xr-x root/root 0 2025-05-15 17:57 usr/lib64/python2.7/site-packages/ -rw-r--r-- root/root 162115 2025-05-15 17:55 usr/lib64/python2.7/site-packages/CVC4.py -rwxr-xr-x root/root 2124512 2025-05-15 17:57 usr/lib64/python2.7/site-packages/_CVC4.so drwxr-xr-x root/root 0 2025-05-15 17:57 usr/man/ drwxr-xr-x root/root 0 2025-05-15 17:57 usr/man/man1/ -rw-r--r-- root/root 2124 2025-05-15 17:44 usr/man/man1/cvc4.1.gz drwxr-xr-x root/root 0 2025-05-15 17:57 usr/man/man3/ -rw-r--r-- root/root 704 2025-05-15 17:44 usr/man/man3/SmtEngine.3cvc.gz -rw-r--r-- root/root 795 2025-05-15 17:44 usr/man/man3/libcvc4.3.gz -rw-r--r-- root/root 346 2025-05-15 17:44 usr/man/man3/libcvc4parser.3.gz -rw-r--r-- root/root 554 2025-05-15 17:44 usr/man/man3/options.3cvc.gz drwxr-xr-x root/root 0 2025-05-15 17:57 usr/man/man5/ -rw-r--r-- root/root 400 2025-05-15 17:44 usr/man/man5/cvc4.5.gz drwxr-xr-x root/root 0 2025-05-15 17:57 usr/share/ drwxr-xr-x root/root 0 2025-05-15 17:57 usr/share/cvc4/ -rw-r--r-- root/root 16559 2020-06-19 13:59 usr/share/cvc4/drat.plf -rw-r--r-- root/root 5107 2020-06-19 13:59 usr/share/cvc4/er.plf -rw-r--r-- root/root 22117 2020-06-19 13:59 usr/share/cvc4/lrat.plf -rw-r--r-- root/root 6211 2020-06-19 13:59 usr/share/cvc4/sat.plf -rw-r--r-- root/root 11602 2020-06-19 13:59 usr/share/cvc4/smt.plf -rw-r--r-- root/root 2367 2020-06-19 13:59 usr/share/cvc4/th_arrays.plf -rw-r--r-- root/root 2757 2020-06-19 13:59 usr/share/cvc4/th_base.plf -rw-r--r-- root/root 3495 2020-06-19 13:59 usr/share/cvc4/th_bv.plf -rw-r--r-- root/root 20285 2020-06-19 13:59 usr/share/cvc4/th_bv_bitblast.plf -rw-r--r-- root/root 329 2020-06-19 13:59 usr/share/cvc4/th_bv_rewrites.plf -rw-r--r-- root/root 620 2020-06-19 13:59 usr/share/cvc4/th_int.plf -rw-r--r-- root/root 14541 2020-06-19 13:59 usr/share/cvc4/th_lira.plf -rw-r--r-- root/root 993 2020-06-19 13:59 usr/share/cvc4/th_real.plf