: 1 704516
1 i copyright 192 14774 1603418276
1 d none include ? ? ?
1 d none include/cvc4 0755 bin bin
1 d none include/cvc4/api 0755 bin bin
1 f none include/cvc4/api/cvc4cpp.h 0644 bin bin 97150 10126 1592585967
1 f none include/cvc4/api/cvc4cppkind.h 0644 bin bin 72089 34560 1592585967
1 d none include/cvc4/base 0755 bin bin
1 f none include/cvc4/base/configuration.h 0644 bin bin 3376 20321 1592585967
1 f none include/cvc4/base/exception.h 0644 bin bin 5374 49469 1592585967
1 f none include/cvc4/base/listener.h 0644 bin bin 5010 34354 1592585967
1 f none include/cvc4/base/modal_exception.h 0644 bin bin 1902 25170 1592585967
1 d none include/cvc4/context 0755 bin bin
1 f none include/cvc4/context/cdhashmap_forward.h 0644 bin bin 1405 47860 1592585967
1 f none include/cvc4/context/cdhashset_forward.h 0644 bin bin 1303 40293 1592585967
1 f none include/cvc4/context/cdinsert_hashmap_forward.h 0644 bin bin 1399 49259 1592585967
1 f none include/cvc4/context/cdlist_forward.h 0644 bin bin 1898 27780 1592585967
1 f none include/cvc4/cvc4.h 0644 bin bin 1159 29783 1592585967
1 f none include/cvc4/cvc4_public.h 0644 bin bin 2050 32036 1592585967
1 f none include/cvc4/cvc4parser_public.h 0644 bin bin 917 8350 1592585967
1 d none include/cvc4/expr 0755 bin bin
1 f none include/cvc4/expr/array.h 0644 bin bin 803 63113 1592585967
1 f none include/cvc4/expr/array_store_all.h 0644 bin bin 2300 60152 1592585967
1 f none include/cvc4/expr/ascription_type.h 0644 bin bin 1953 30684 1592585967
1 f none include/cvc4/expr/datatype.h 0644 bin bin 35731 30942 1592585967
1 f none include/cvc4/expr/emptyset.h 0644 bin bin 2074 40331 1592585967
1 f none include/cvc4/expr/expr.h 0644 bin bin 24296 609 1603435652
1 f none include/cvc4/expr/expr_iomanip.h 0644 bin bin 6122 35740 1592585967
1 f none include/cvc4/expr/expr_manager.h 0644 bin bin 25715 41652 1603435652
1 f none include/cvc4/expr/expr_sequence.h 0644 bin bin 2234 55184 1592585967
1 f none include/cvc4/expr/kind.h 0644 bin bin 29244 22195 1603435647
1 f none include/cvc4/expr/record.h 0644 bin bin 2740 33544 1592585967
1 f none include/cvc4/expr/symbol_table.h 0644 bin bin 6998 51948 1592585967
1 f none include/cvc4/expr/type.h 0644 bin bin 18223 713 1592585967
1 f none include/cvc4/expr/uninterpreted_constant.h 0644 bin bin 2180 51039 1592585967
1 f none include/cvc4/expr/variable_type_map.h 0644 bin bin 1697 8017 1592585967
1 d none include/cvc4/options 0755 bin bin
1 f none include/cvc4/options/language.h 0644 bin bin 6736 58334 1592585967
1 f none include/cvc4/options/option_exception.h 0644 bin bin 2110 46117 1592585967
1 f none include/cvc4/options/options.h 0644 bin bin 16057 52135 1592585967
1 f none include/cvc4/options/printer_modes.h 0644 bin bin 1266 35014 1592585967
1 f none include/cvc4/options/set_language.h 0644 bin bin 2742 27214 1592585967
1 d none include/cvc4/parser 0755 bin bin
1 f none include/cvc4/parser/input.h 0644 bin bin 5390 44640 1592585967
1 f none include/cvc4/parser/parse_op.h 0644 bin bin 3148 62720 1592585967
1 f none include/cvc4/parser/parser.h 0644 bin bin 29922 35924 1592585967
1 f none include/cvc4/parser/parser_builder.h 0644 bin bin 5062 22645 1592585967
1 f none include/cvc4/parser/parser_exception.h 0644 bin bin 2774 24255 1592585967
1 d none include/cvc4/printer 0755 bin bin
1 f none include/cvc4/printer/sygus_print_callback.h 0644 bin bin 4374 27224 1592585967
1 d none include/cvc4/proof 0755 bin bin
1 f none include/cvc4/proof/unsat_core.h 0644 bin bin 1920 27083 1592585967
1 d none include/cvc4/smt 0755 bin bin
1 f none include/cvc4/smt/command.h 0644 bin bin 45202 21419 1592585967
1 f none include/cvc4/smt/logic_exception.h 0644 bin bin 1391 46327 1592585967
1 f none include/cvc4/smt/smt_engine.h 0644 bin bin 46220 4058 1603432775
1 d none include/cvc4/theory 0755 bin bin
1 f none include/cvc4/theory/logic_info.h 0644 bin bin 9243 47935 1592585967
1 f none include/cvc4/theory/theory_id.h 0644 bin bin 1576 58457 1592585967
1 d none include/cvc4/util 0755 bin bin
1 f none include/cvc4/util/abstract_value.h 0644 bin bin 1769 15546 1592585967
1 f none include/cvc4/util/bitvector.h 0644 bin bin 14028 13376 1592585967
1 f none include/cvc4/util/bool.h 0644 bin bin 848 644 1592585967
1 f none include/cvc4/util/cardinality.h 0644 bin bin 6866 46714 1592585967
1 f none include/cvc4/util/divisible.h 0644 bin bin 1608 64033 1592585967
1 f none include/cvc4/util/floatingpoint.h 0644 bin bin 20135 65323 1603435015
1 f none include/cvc4/util/gmp_util.h 0644 bin bin 1363 43270 1592585967
1 f none include/cvc4/util/hash.h 0644 bin bin 1937 21437 1592585967
1 f none include/cvc4/util/integer.h 0644 bin bin 1163 23751 1603435015
1 f none include/cvc4/util/integer_cln_imp.h 0644 bin bin 15272 40735 1592585967
1 f none include/cvc4/util/integer_gmp_imp.h 0644 bin bin 14066 15034 1592585967
1 f none include/cvc4/util/maybe.h 0644 bin bin 2130 38342 1592585967
1 f none include/cvc4/util/proof.h 0644 bin bin 1186 30785 1592585967
1 f none include/cvc4/util/rational.h 0644 bin bin 1170 24507 1603435015
1 f none include/cvc4/util/rational_cln_imp.h 0644 bin bin 9974 28714 1592585967
1 f none include/cvc4/util/rational_gmp_imp.h 0644 bin bin 9578 646 1592585967
1 f none include/cvc4/util/regexp.h 0644 bin bin 2101 30493 1592585967
1 f none include/cvc4/util/resource_manager.h 0644 bin bin 5986 49739 1592585967
1 f none include/cvc4/util/result.h 0644 bin bin 4363 23521 1592585967
1 f none include/cvc4/util/sexpr.h 0644 bin bin 8693 63875 1592585967
1 f none include/cvc4/util/statistics.h 0644 bin bin 3585 35598 1592585967
1 f none include/cvc4/util/string.h 0644 bin bin 9355 48913 1603432775
1 f none include/cvc4/util/tuple.h 0644 bin bin 1512 58329 1592585967
1 f none include/cvc4/util/unsafe_interrupt_exception.h 0644 bin bin 1288 38748 1592585967
1 d none lib ? ? ?
1 d none lib/x86_64-linux-gnu ? ? ?
1 d none lib/x86_64-linux-gnu/cmake ? ? ?
1 d none lib/x86_64-linux-gnu/cmake/CVC4 ? ? ?
1 f none lib/x86_64-linux-gnu/cmake/CVC4/CVC4Config.cmake 0644 bin bin 1606 57794 1603435015
1 f none lib/x86_64-linux-gnu/cmake/CVC4/CVC4ConfigVersion.cmake 0644 bin bin 1715 5570 1603435015
1 f none lib/x86_64-linux-gnu/cmake/CVC4/CVC4Targets-production.cmake 0644 bin bin 1373 41432 1603598129
1 f none lib/x86_64-linux-gnu/cmake/CVC4/CVC4Targets.cmake 0644 bin bin 4122 16485 1603435015
1 i pkginfo 859 9026 1603752936
1 d none share ? ? ?
1 d none share/man ? ? ?
1 d none share/man/man3 ? ? ?
1 f none share/man/man3/SmtEngine.3cvc 0644 bin bin 1226 35950 1603582225
1 f none share/man/man3/libcvc4.3 0644 bin bin 1394 43354 1603582224
1 f none share/man/man3/libcvc4parser.3 0644 bin bin 464 37375 1603582224
1 f none share/man/man3/options.3cvc 0644 bin bin 879 5383 1603582225