Files
drwxr-xr-x | 4096 | root | root | /usr/include/ladr |
-rw-r--r-- | 1299 | root | root | /usr/include/ladr/ac_redun.h |
-rw-r--r-- | 1304 | root | root | /usr/include/ladr/accanon.h |
-rw-r--r-- | 3465 | root | root | /usr/include/ladr/attrib.h |
-rw-r--r-- | 2691 | root | root | /usr/include/ladr/avltree.h |
-rw-r--r-- | 1300 | root | root | /usr/include/ladr/backdemod.h |
-rw-r--r-- | 1190 | root | root | /usr/include/ladr/banner.h |
-rw-r--r-- | 1467 | root | root | /usr/include/ladr/basic.h |
-rw-r--r-- | 1785 | root | root | /usr/include/ladr/btm.h |
-rw-r--r-- | 1799 | root | root | /usr/include/ladr/btu.h |
-rw-r--r-- | 1907 | root | root | /usr/include/ladr/clash.h |
-rw-r--r-- | 1243 | root | root | /usr/include/ladr/clause_eval.h |
-rw-r--r-- | 1490 | root | root | /usr/include/ladr/clause_misc.h |
-rw-r--r-- | 1340 | root | root | /usr/include/ladr/clauseid.h |
-rw-r--r-- | 1559 | root | root | /usr/include/ladr/clauses.h |
-rw-r--r-- | 1255 | root | root | /usr/include/ladr/clausify.h |
-rw-r--r-- | 3368 | root | root | /usr/include/ladr/clist.h |
-rw-r--r-- | 2571 | root | root | /usr/include/ladr/clock.h |
-rw-r--r-- | 1442 | root | root | /usr/include/ladr/cnf.h |
-rw-r--r-- | 1180 | root | root | /usr/include/ladr/compress.h |
-rw-r--r-- | 1464 | root | root | /usr/include/ladr/definitions.h |
-rw-r--r-- | 1622 | root | root | /usr/include/ladr/demod.h |
-rw-r--r-- | 1910 | root | root | /usr/include/ladr/di_tree.h |
-rw-r--r-- | 2651 | root | root | /usr/include/ladr/dioph.h |
-rw-r--r-- | 3392 | root | root | /usr/include/ladr/discrim.h |
-rw-r--r-- | 1575 | root | root | /usr/include/ladr/discrimb.h |
-rw-r--r-- | 1581 | root | root | /usr/include/ladr/discrimw.h |
-rw-r--r-- | 2271 | root | root | /usr/include/ladr/fastparse.h |
-rw-r--r-- | 1183 | root | root | /usr/include/ladr/fatal.h |
-rw-r--r-- | 1185 | root | root | /usr/include/ladr/features.h |
-rw-r--r-- | 1653 | root | root | /usr/include/ladr/flatdemod.h |
-rw-r--r-- | 2663 | root | root | /usr/include/ladr/flatterm.h |
-rw-r--r-- | 3942 | root | root | /usr/include/ladr/formula.h |
-rw-r--r-- | 2723 | root | root | /usr/include/ladr/fpa.h |
-rw-r--r-- | 3009 | root | root | /usr/include/ladr/fpalist.h |
-rw-r--r-- | 4570 | root | root | /usr/include/ladr/glist.h |
-rw-r--r-- | 1464 | root | root | /usr/include/ladr/hash.h |
-rw-r--r-- | 1159 | root | root | /usr/include/ladr/header.h |
-rw-r--r-- | 1501 | root | root | /usr/include/ladr/hints.h |
-rw-r--r-- | 1691 | root | root | /usr/include/ladr/ibuffer.h |
-rw-r--r-- | 1221 | root | root | /usr/include/ladr/index.h |
-rw-r--r-- | 1153 | root | root | /usr/include/ladr/int_code.h |
-rw-r--r-- | 3618 | root | root | /usr/include/ladr/interp.h |
-rw-r--r-- | 2787 | root | root | /usr/include/ladr/ioutil.h |
-rw-r--r-- | 1159 | root | root | /usr/include/ladr/ivy.h |
-rw-r--r-- | 5902 | root | root | /usr/include/ladr/just.h |
-rw-r--r-- | 1059 | root | root | /usr/include/ladr/ladr.h |
-rw-r--r-- | 2480 | root | root | /usr/include/ladr/lindex.h |
-rw-r--r-- | 1623 | root | root | /usr/include/ladr/listterm.h |
-rw-r--r-- | 3287 | root | root | /usr/include/ladr/literals.h |
-rw-r--r-- | 1718 | root | root | /usr/include/ladr/maximal.h |
-rw-r--r-- | 1743 | root | root | /usr/include/ladr/memory.h |
-rw-r--r-- | 3867 | root | root | /usr/include/ladr/mindex.h |
-rw-r--r-- | 1137 | root | root | /usr/include/ladr/multiset.h |
-rw-r--r-- | 1361 | root | root | /usr/include/ladr/nonport.h |
-rw-r--r-- | 3585 | root | root | /usr/include/ladr/options.h |
-rw-r--r-- | 1839 | root | root | /usr/include/ladr/order.h |
-rw-r--r-- | 1950 | root | root | /usr/include/ladr/paramod.h |
-rw-r--r-- | 1821 | root | root | /usr/include/ladr/parautil.h |
-rw-r--r-- | 2837 | root | root | /usr/include/ladr/parse.h |
-rw-r--r-- | 2446 | root | root | /usr/include/ladr/pindex.h |
-rw-r--r-- | 1870 | root | root | /usr/include/ladr/random.h |
-rw-r--r-- | 2181 | root | root | /usr/include/ladr/resolve.h |
-rw-r--r-- | 1185 | root | root | /usr/include/ladr/std_options.h |
-rw-r--r-- | 2204 | root | root | /usr/include/ladr/strbuf.h |
-rw-r--r-- | 1472 | root | root | /usr/include/ladr/string.h |
-rw-r--r-- | 1661 | root | root | /usr/include/ladr/subsume.h |
-rw-r--r-- | 6843 | root | root | /usr/include/ladr/symbols.h |
-rw-r--r-- | 7412 | root | root | /usr/include/ladr/term.h |
-rw-r--r-- | 1372 | root | root | /usr/include/ladr/termflag.h |
-rw-r--r-- | 1961 | root | root | /usr/include/ladr/termorder.h |
-rw-r--r-- | 1408 | root | root | /usr/include/ladr/tlist.h |
-rw-r--r-- | 2134 | root | root | /usr/include/ladr/top_input.h |
-rw-r--r-- | 4392 | root | root | /usr/include/ladr/topform.h |
-rw-r--r-- | 1332 | root | root | /usr/include/ladr/tptp_trans.h |
-rw-r--r-- | 6803 | root | root | /usr/include/ladr/unify.h |
-rw-r--r-- | 1343 | root | root | /usr/include/ladr/weight.h |
-rw-r--r-- | 1399 | root | root | /usr/include/ladr/xproofs.h |
-rw-r--r-- | 617498 | root | root | /usr/lib/libladr.a |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/prover9-devel-200805a |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/prover9-devel-200805a/html |
-rw-r--r-- | 3348 | root | root | /usr/share/doc/prover9-devel-200805a/html/ac_redun.html |
-rw-r--r-- | 2251 | root | root | /usr/share/doc/prover9-devel-200805a/html/accanon.html |
-rw-r--r-- | 11887 | root | root | /usr/share/doc/prover9-devel-200805a/html/attrib.html |
-rw-r--r-- | 6222 | root | root | /usr/share/doc/prover9-devel-200805a/html/avltree.html |
-rw-r--r-- | 2222 | root | root | /usr/share/doc/prover9-devel-200805a/html/backdemod.html |
-rw-r--r-- | 1101 | root | root | /usr/share/doc/prover9-devel-200805a/html/banner.html |
-rw-r--r-- | 3158 | root | root | /usr/share/doc/prover9-devel-200805a/html/basic.html |
-rw-r--r-- | 4359 | root | root | /usr/share/doc/prover9-devel-200805a/html/btm.html |
-rw-r--r-- | 4599 | root | root | /usr/share/doc/prover9-devel-200805a/html/btu.html |
-rw-r--r-- | 3597 | root | root | /usr/share/doc/prover9-devel-200805a/html/clash.html |
-rw-r--r-- | 1579 | root | root | /usr/share/doc/prover9-devel-200805a/html/clause_eval.html |
-rw-r--r-- | 3597 | root | root | /usr/share/doc/prover9-devel-200805a/html/clause_misc.html |
-rw-r--r-- | 3032 | root | root | /usr/share/doc/prover9-devel-200805a/html/clauseid.html |
-rw-r--r-- | 3693 | root | root | /usr/share/doc/prover9-devel-200805a/html/clauses.html |
-rw-r--r-- | 3085 | root | root | /usr/share/doc/prover9-devel-200805a/html/clausify.html |
-rw-r--r-- | 11914 | root | root | /usr/share/doc/prover9-devel-200805a/html/clist.html |
-rw-r--r-- | 6152 | root | root | /usr/share/doc/prover9-devel-200805a/html/clock.html |
-rw-r--r-- | 4621 | root | root | /usr/share/doc/prover9-devel-200805a/html/cnf.html |
-rw-r--r-- | 1663 | root | root | /usr/share/doc/prover9-devel-200805a/html/compress.html |
-rw-r--r-- | 1991 | root | root | /usr/share/doc/prover9-devel-200805a/html/definitions.html |
-rw-r--r-- | 2827 | root | root | /usr/share/doc/prover9-devel-200805a/html/demod.html |
-rw-r--r-- | 3441 | root | root | /usr/share/doc/prover9-devel-200805a/html/di_tree.html |
-rw-r--r-- | 5992 | root | root | /usr/share/doc/prover9-devel-200805a/html/dioph.html |
-rw-r--r-- | 5204 | root | root | /usr/share/doc/prover9-devel-200805a/html/discrim.html |
-rw-r--r-- | 4736 | root | root | /usr/share/doc/prover9-devel-200805a/html/discrimb.html |
-rw-r--r-- | 4299 | root | root | /usr/share/doc/prover9-devel-200805a/html/discrimw.html |
-rw-r--r-- | 4511 | root | root | /usr/share/doc/prover9-devel-200805a/html/fastparse.html |
-rw-r--r-- | 1692 | root | root | /usr/share/doc/prover9-devel-200805a/html/fatal.html |
-rw-r--r-- | 1788 | root | root | /usr/share/doc/prover9-devel-200805a/html/features.html |
-rw-r--r-- | 3616 | root | root | /usr/share/doc/prover9-devel-200805a/html/flatdemod.html |
-rw-r--r-- | 4362 | root | root | /usr/share/doc/prover9-devel-200805a/html/flatterm.html |
-rw-r--r-- | 16911 | root | root | /usr/share/doc/prover9-devel-200805a/html/formula.html |
-rw-r--r-- | 7804 | root | root | /usr/share/doc/prover9-devel-200805a/html/fpa.html |
-rw-r--r-- | 4266 | root | root | /usr/share/doc/prover9-devel-200805a/html/fpalist.html |
-rw-r--r-- | 18338 | root | root | /usr/share/doc/prover9-devel-200805a/html/glist.html |
-rw-r--r-- | 2281 | root | root | /usr/share/doc/prover9-devel-200805a/html/hash.html |
-rw-r--r-- | 2013 | root | root | /usr/share/doc/prover9-devel-200805a/html/hints.html |
-rw-r--r-- | 2865 | root | root | /usr/share/doc/prover9-devel-200805a/html/ibuffer.html |
-rw-r--r-- | 3136 | root | root | /usr/share/doc/prover9-devel-200805a/html/index.html |
-rw-r--r-- | 1149 | root | root | /usr/share/doc/prover9-devel-200805a/html/int_code.html |
-rw-r--r-- | 17256 | root | root | /usr/share/doc/prover9-devel-200805a/html/interp.html |
-rw-r--r-- | 10408 | root | root | /usr/share/doc/prover9-devel-200805a/html/ioutil.html |
-rw-r--r-- | 1206 | root | root | /usr/share/doc/prover9-devel-200805a/html/ivy.html |
-rw-r--r-- | 14981 | root | root | /usr/share/doc/prover9-devel-200805a/html/just.html |
-rw-r--r-- | 4294 | root | root | /usr/share/doc/prover9-devel-200805a/html/lindex.html |
-rw-r--r-- | 4479 | root | root | /usr/share/doc/prover9-devel-200805a/html/listterm.html |
-rw-r--r-- | 13298 | root | root | /usr/share/doc/prover9-devel-200805a/html/literals.html |
-rw-r--r-- | 3397 | root | root | /usr/share/doc/prover9-devel-200805a/html/maximal.html |
-rw-r--r-- | 3496 | root | root | /usr/share/doc/prover9-devel-200805a/html/memory.html |
-rw-r--r-- | 10391 | root | root | /usr/share/doc/prover9-devel-200805a/html/mindex.html |
-rw-r--r-- | 1148 | root | root | /usr/share/doc/prover9-devel-200805a/html/multiset.html |
-rw-r--r-- | 1585 | root | root | /usr/share/doc/prover9-devel-200805a/html/nonport.html |
-rw-r--r-- | 12258 | root | root | /usr/share/doc/prover9-devel-200805a/html/options.html |
-rw-r--r-- | 2924 | root | root | /usr/share/doc/prover9-devel-200805a/html/order.html |
-rw-r--r-- | 3109 | root | root | /usr/share/doc/prover9-devel-200805a/html/paramod.html |
-rw-r--r-- | 5580 | root | root | /usr/share/doc/prover9-devel-200805a/html/parautil.html |
-rw-r--r-- | 7267 | root | root | /usr/share/doc/prover9-devel-200805a/html/parse.html |
-rw-r--r-- | 5042 | root | root | /usr/share/doc/prover9-devel-200805a/html/pindex.html |
-rw-r--r-- | 3630 | root | root | /usr/share/doc/prover9-devel-200805a/html/random.html |
-rw-r--r-- | 3818 | root | root | /usr/share/doc/prover9-devel-200805a/html/resolve.html |
-rw-r--r-- | 4644 | root | root | /usr/share/doc/prover9-devel-200805a/html/sos.html |
-rw-r--r-- | 1298 | root | root | /usr/share/doc/prover9-devel-200805a/html/std_options.html |
-rw-r--r-- | 6816 | root | root | /usr/share/doc/prover9-devel-200805a/html/strbuf.html |
-rw-r--r-- | 2906 | root | root | /usr/share/doc/prover9-devel-200805a/html/string.html |
-rw-r--r-- | 4157 | root | root | /usr/share/doc/prover9-devel-200805a/html/subsume.html |
-rw-r--r-- | 25956 | root | root | /usr/share/doc/prover9-devel-200805a/html/symbols.html |
-rw-r--r-- | 25048 | root | root | /usr/share/doc/prover9-devel-200805a/html/term.html |
-rw-r--r-- | 4026 | root | root | /usr/share/doc/prover9-devel-200805a/html/termflag.html |
-rw-r--r-- | 5467 | root | root | /usr/share/doc/prover9-devel-200805a/html/termorder.html |
-rw-r--r-- | 2063 | root | root | /usr/share/doc/prover9-devel-200805a/html/tlist.html |
-rw-r--r-- | 4127 | root | root | /usr/share/doc/prover9-devel-200805a/html/top_input.html |
-rw-r--r-- | 12404 | root | root | /usr/share/doc/prover9-devel-200805a/html/topform.html |
-rw-r--r-- | 1889 | root | root | /usr/share/doc/prover9-devel-200805a/html/tptp_trans.html |
-rw-r--r-- | 15379 | root | root | /usr/share/doc/prover9-devel-200805a/html/unify.html |
-rw-r--r-- | 1346 | root | root | /usr/share/doc/prover9-devel-200805a/html/weight.html |
-rw-r--r-- | 2443 | root | root | /usr/share/doc/prover9-devel-200805a/html/xproofs.html |