From 12b93642c9daf031b8f20f51ed2a9a139529d6ef Mon Sep 17 00:00:00 2001 From: zuntum Date: Thu, 1 Nov 2001 00:32:23 +0000 Subject: Move pkg/ files into package's toplevel directory --- math/otter/DESCR | 10 +++ math/otter/PLIST | 193 +++++++++++++++++++++++++++++++++++++++++++++++++++ math/otter/pkg/DESCR | 10 --- math/otter/pkg/PLIST | 193 --------------------------------------------------- 4 files changed, 203 insertions(+), 203 deletions(-) create mode 100644 math/otter/DESCR create mode 100644 math/otter/PLIST delete mode 100644 math/otter/pkg/DESCR delete mode 100644 math/otter/pkg/PLIST (limited to 'math/otter') diff --git a/math/otter/DESCR b/math/otter/DESCR new file mode 100644 index 00000000000..04f69641f7f --- /dev/null +++ b/math/otter/DESCR @@ -0,0 +1,10 @@ +Otter (Organized Techniques for Theorem-proving and Effective +Research) is a resolution-style theorem-proving program for +first-order logic with equality. Otter includes the inference rules +binary resolution, hyperresolution, UR-resolution, and binary +paramodulation. Some of its other abilities and features are +conversion from first-order formulas to clauses, forward and back +subsumption, factoring, weighting, answer literals, term ordering, +forward and back demodulation, evaluable functions and predicates, and +Knuth-Bendix completion. Otter is coded in C, is free, and is +portable to many different kinds of computer. diff --git a/math/otter/PLIST b/math/otter/PLIST new file mode 100644 index 00000000000..dbb59c124fe --- /dev/null +++ b/math/otter/PLIST @@ -0,0 +1,193 @@ +@comment $NetBSD: PLIST,v 1.1 2001/11/01 00:33:50 zuntum Exp $ +bin/otter +share/doc/otter/Announce +share/doc/otter/Changelog +share/doc/otter/Copying +share/doc/otter/New_304.txt +share/doc/otter/New_305.txt +share/doc/otter/README.302 +share/doc/otter/README.303 +share/doc/otter/README.304 +share/doc/otter/README.305 +share/doc/otter/README.306 +share/doc/otter/manual.dvi +share/doc/otter/manual.ps +share/doc/otter/manual.tex +share/doc/otter/manual.txt +share/doc/otter/split.txt +share/examples/otter/README +share/examples/otter/Run_all +share/examples/otter/auto/cn19.PII400 +share/examples/otter/auto/cn19.in +share/examples/otter/auto/comm.PII400 +share/examples/otter/auto/comm.in +share/examples/otter/auto/ec_yq.PII400 +share/examples/otter/auto/ec_yq.in +share/examples/otter/auto/group.PII400 +share/examples/otter/auto/group.in +share/examples/otter/auto/lifsch.PII400 +share/examples/otter/auto/lifsch.in +share/examples/otter/auto/mv25.PII400 +share/examples/otter/auto/mv25.in +share/examples/otter/auto/pigeon.PII400 +share/examples/otter/auto/pigeon.in +share/examples/otter/auto/ring_x2.PII400 +share/examples/otter/auto/ring_x2.in +share/examples/otter/auto/robbins.PII400 +share/examples/otter/auto/robbins.in +share/examples/otter/auto/salt.PII400 +share/examples/otter/auto/salt.in +share/examples/otter/auto/sam.PII400 +share/examples/otter/auto/sam.in +share/examples/otter/auto/steam.PII400 +share/examples/otter/auto/steam.in +share/examples/otter/auto/tba_gg.PII400 +share/examples/otter/auto/tba_gg.in +share/examples/otter/auto/w_sk.PII400 +share/examples/otter/auto/w_sk.in +share/examples/otter/auto/wang1.PII400 +share/examples/otter/auto/wang1.in +share/examples/otter/auto/x2_quant.PII400 +share/examples/otter/auto/x2_quant.in +share/examples/otter/auto/z11.PII400 +share/examples/otter/auto/z11.in +share/examples/otter/fringe/bring.PII400 +share/examples/otter/fringe/bring.in +share/examples/otter/fringe/ec_yql.PII400 +share/examples/otter/fringe/ec_yql.in +share/examples/otter/fringe/gl4.PII400 +share/examples/otter/fringe/gl4.in +share/examples/otter/fringe/gl8.PII400 +share/examples/otter/fringe/gl8.in +share/examples/otter/fringe/if.PII400 +share/examples/otter/fringe/if.in +share/examples/otter/fringe/lexical1.PII400 +share/examples/otter/fringe/lexical1.in +share/examples/otter/fringe/lexical2.PII400 +share/examples/otter/fringe/lexical2.in +share/examples/otter/fringe/lexical3.PII400 +share/examples/otter/fringe/lexical3.in +share/examples/otter/fringe/luka5h.PII400 +share/examples/otter/fringe/luka5h.in +share/examples/otter/fringe/mfl_13.PII400 +share/examples/otter/fringe/mfl_13.in +share/examples/otter/fringe/rob_ocd.PII400 +share/examples/otter/fringe/rob_ocd.in +share/examples/otter/fringe/x3tricks.PII400 +share/examples/otter/fringe/x3tricks.in +share/examples/otter/ivy/cd-cn19.PII400 +share/examples/otter/ivy/cd-cn19.in +share/examples/otter/ivy/comb-sk-w.PII400 +share/examples/otter/ivy/comb-sk-w.in +share/examples/otter/ivy/group-comm.PII400 +share/examples/otter/ivy/group-comm.in +share/examples/otter/ivy/group-x2-refute.PII400 +share/examples/otter/ivy/group-x2-refute.in +share/examples/otter/ivy/group-x2.PII400 +share/examples/otter/ivy/group-x2.in +share/examples/otter/ivy/lifsch.PII400 +share/examples/otter/ivy/lifsch.in +share/examples/otter/ivy/p-and-not-p.PII400 +share/examples/otter/ivy/p-and-not-p.in +share/examples/otter/ivy/steam.PII400 +share/examples/otter/ivy/steam.in +share/examples/otter/ivy/t1.PII400 +share/examples/otter/ivy/t1.in +share/examples/otter/kalman/ex_1.PII400 +share/examples/otter/kalman/ex_1.in +share/examples/otter/kalman/ex_2.PII400 +share/examples/otter/kalman/ex_2.in +share/examples/otter/kalman/ex_3.PII400 +share/examples/otter/kalman/ex_3.in +share/examples/otter/kalman/ex_4.PII400 +share/examples/otter/kalman/ex_4.in +share/examples/otter/kalman/i1.PII400 +share/examples/otter/kalman/i1.in +share/examples/otter/kalman/i2.PII400 +share/examples/otter/kalman/i2.in +share/examples/otter/kalman/i3.PII400 +share/examples/otter/kalman/i3.in +share/examples/otter/kalman/i4.PII400 +share/examples/otter/kalman/i4.in +share/examples/otter/misc/andrews.PII400 +share/examples/otter/misc/andrews.in +share/examples/otter/misc/cn.PII400 +share/examples/otter/misc/cn.in +share/examples/otter/misc/dem_alu.PII400 +share/examples/otter/misc/dem_alu.in +share/examples/otter/misc/ec.PII400 +share/examples/otter/misc/ec.in +share/examples/otter/misc/kb_bench.PII400 +share/examples/otter/misc/kb_bench.in +share/examples/otter/misc/mv.PII400 +share/examples/otter/misc/mv.in +share/examples/otter/misc/sax1.PII400 +share/examples/otter/misc/sax1.in +share/examples/otter/misc/sax2.PII400 +share/examples/otter/misc/sax2.in +share/examples/otter/misc/stage1.PII400 +share/examples/otter/misc/stage1.in +share/examples/otter/misc/stage2.PII400 +share/examples/otter/misc/stage2.in +share/examples/otter/misc/str_bws.PII400 +share/examples/otter/misc/str_bws.in +share/examples/otter/objects +share/examples/otter/program/eval.PII400 +share/examples/otter/program/eval.in +share/examples/otter/program/jugs.PII400 +share/examples/otter/program/jugs.in +share/examples/otter/program/mission.PII400 +share/examples/otter/program/mission.in +share/examples/otter/program/queens.PII400 +share/examples/otter/program/queens.in +share/examples/otter/program/two_inv.PII400 +share/examples/otter/program/two_inv.in +share/examples/otter/split/GEO010-2.PII400 +share/examples/otter/split/GEO010-2.in +share/examples/otter/split/GEO036-2.PII400 +share/examples/otter/split/GEO036-2.in +share/examples/otter/split/GRP025-1.PII400 +share/examples/otter/split/GRP025-1.in +share/examples/otter/split/README +share/examples/otter/split/group2.PII400 +share/examples/otter/split/group2.in +share/examples/otter/split/noncomm-group.PII400 +share/examples/otter/split/noncomm-group.in +share/examples/otter/split/pair.PII400 +share/examples/otter/split/pair.in +share/examples/otter/split/pigeon5.PII400 +share/examples/otter/split/pigeon5.in +share/examples/otter/split/power.PII400 +share/examples/otter/split/power.in +share/examples/otter/split/wang3.PII400 +share/examples/otter/split/wang3.in +share/examples/otter/split/zebra2.PII400 +share/examples/otter/split/zebra2.in +share/examples/otter/split/zebra4.PII400 +share/examples/otter/split/zebra4.in +share/examples/otter/summary +share/examples/otter/wos/README +share/examples/otter/wos/cursory.PII400 +share/examples/otter/wos/cursory.in +share/examples/otter/wos/grp_exp3.PII400 +share/examples/otter/wos/grp_exp3.in +share/examples/otter/wos/grp_exp4.PII400 +share/examples/otter/wos/grp_exp4.in +share/examples/otter/wos/manyval.PII400 +share/examples/otter/wos/manyval.in +share/examples/otter/wos/rigorous.PII400 +share/examples/otter/wos/rigorous.in +share/examples/otter/wos/rob_occ.PII400 +share/examples/otter/wos/rob_occ.in +share/examples/otter/wos/twoval.PII400 +share/examples/otter/wos/twoval.in +@dirrm share/examples/otter/wos +@dirrm share/examples/otter/split +@dirrm share/examples/otter/program +@dirrm share/examples/otter/misc +@dirrm share/examples/otter/kalman +@dirrm share/examples/otter/ivy +@dirrm share/examples/otter/fringe +@dirrm share/examples/otter/auto +@dirrm share/examples/otter +@dirrm share/doc/otter diff --git a/math/otter/pkg/DESCR b/math/otter/pkg/DESCR deleted file mode 100644 index 04f69641f7f..00000000000 --- a/math/otter/pkg/DESCR +++ /dev/null @@ -1,10 +0,0 @@ -Otter (Organized Techniques for Theorem-proving and Effective -Research) is a resolution-style theorem-proving program for -first-order logic with equality. Otter includes the inference rules -binary resolution, hyperresolution, UR-resolution, and binary -paramodulation. Some of its other abilities and features are -conversion from first-order formulas to clauses, forward and back -subsumption, factoring, weighting, answer literals, term ordering, -forward and back demodulation, evaluable functions and predicates, and -Knuth-Bendix completion. Otter is coded in C, is free, and is -portable to many different kinds of computer. diff --git a/math/otter/pkg/PLIST b/math/otter/pkg/PLIST deleted file mode 100644 index cc1f18ae0cb..00000000000 --- a/math/otter/pkg/PLIST +++ /dev/null @@ -1,193 +0,0 @@ -@comment $NetBSD: PLIST,v 1.1.1.1 2000/11/25 18:19:21 jtb Exp $ -bin/otter -share/doc/otter/Announce -share/doc/otter/Changelog -share/doc/otter/Copying -share/doc/otter/New_304.txt -share/doc/otter/New_305.txt -share/doc/otter/README.302 -share/doc/otter/README.303 -share/doc/otter/README.304 -share/doc/otter/README.305 -share/doc/otter/README.306 -share/doc/otter/manual.dvi -share/doc/otter/manual.ps -share/doc/otter/manual.tex -share/doc/otter/manual.txt -share/doc/otter/split.txt -share/examples/otter/README -share/examples/otter/Run_all -share/examples/otter/auto/cn19.PII400 -share/examples/otter/auto/cn19.in -share/examples/otter/auto/comm.PII400 -share/examples/otter/auto/comm.in -share/examples/otter/auto/ec_yq.PII400 -share/examples/otter/auto/ec_yq.in -share/examples/otter/auto/group.PII400 -share/examples/otter/auto/group.in -share/examples/otter/auto/lifsch.PII400 -share/examples/otter/auto/lifsch.in -share/examples/otter/auto/mv25.PII400 -share/examples/otter/auto/mv25.in -share/examples/otter/auto/pigeon.PII400 -share/examples/otter/auto/pigeon.in -share/examples/otter/auto/ring_x2.PII400 -share/examples/otter/auto/ring_x2.in -share/examples/otter/auto/robbins.PII400 -share/examples/otter/auto/robbins.in -share/examples/otter/auto/salt.PII400 -share/examples/otter/auto/salt.in -share/examples/otter/auto/sam.PII400 -share/examples/otter/auto/sam.in -share/examples/otter/auto/steam.PII400 -share/examples/otter/auto/steam.in -share/examples/otter/auto/tba_gg.PII400 -share/examples/otter/auto/tba_gg.in -share/examples/otter/auto/w_sk.PII400 -share/examples/otter/auto/w_sk.in -share/examples/otter/auto/wang1.PII400 -share/examples/otter/auto/wang1.in -share/examples/otter/auto/x2_quant.PII400 -share/examples/otter/auto/x2_quant.in -share/examples/otter/auto/z11.PII400 -share/examples/otter/auto/z11.in -share/examples/otter/fringe/bring.PII400 -share/examples/otter/fringe/bring.in -share/examples/otter/fringe/ec_yql.PII400 -share/examples/otter/fringe/ec_yql.in -share/examples/otter/fringe/gl4.PII400 -share/examples/otter/fringe/gl4.in -share/examples/otter/fringe/gl8.PII400 -share/examples/otter/fringe/gl8.in -share/examples/otter/fringe/if.PII400 -share/examples/otter/fringe/if.in -share/examples/otter/fringe/lexical1.PII400 -share/examples/otter/fringe/lexical1.in -share/examples/otter/fringe/lexical2.PII400 -share/examples/otter/fringe/lexical2.in -share/examples/otter/fringe/lexical3.PII400 -share/examples/otter/fringe/lexical3.in -share/examples/otter/fringe/luka5h.PII400 -share/examples/otter/fringe/luka5h.in -share/examples/otter/fringe/mfl_13.PII400 -share/examples/otter/fringe/mfl_13.in -share/examples/otter/fringe/rob_ocd.PII400 -share/examples/otter/fringe/rob_ocd.in -share/examples/otter/fringe/x3tricks.PII400 -share/examples/otter/fringe/x3tricks.in -share/examples/otter/ivy/cd-cn19.PII400 -share/examples/otter/ivy/cd-cn19.in -share/examples/otter/ivy/comb-sk-w.PII400 -share/examples/otter/ivy/comb-sk-w.in -share/examples/otter/ivy/group-comm.PII400 -share/examples/otter/ivy/group-comm.in -share/examples/otter/ivy/group-x2-refute.PII400 -share/examples/otter/ivy/group-x2-refute.in -share/examples/otter/ivy/group-x2.PII400 -share/examples/otter/ivy/group-x2.in -share/examples/otter/ivy/lifsch.PII400 -share/examples/otter/ivy/lifsch.in -share/examples/otter/ivy/p-and-not-p.PII400 -share/examples/otter/ivy/p-and-not-p.in -share/examples/otter/ivy/steam.PII400 -share/examples/otter/ivy/steam.in -share/examples/otter/ivy/t1.PII400 -share/examples/otter/ivy/t1.in -share/examples/otter/kalman/ex_1.PII400 -share/examples/otter/kalman/ex_1.in -share/examples/otter/kalman/ex_2.PII400 -share/examples/otter/kalman/ex_2.in -share/examples/otter/kalman/ex_3.PII400 -share/examples/otter/kalman/ex_3.in -share/examples/otter/kalman/ex_4.PII400 -share/examples/otter/kalman/ex_4.in -share/examples/otter/kalman/i1.PII400 -share/examples/otter/kalman/i1.in -share/examples/otter/kalman/i2.PII400 -share/examples/otter/kalman/i2.in -share/examples/otter/kalman/i3.PII400 -share/examples/otter/kalman/i3.in -share/examples/otter/kalman/i4.PII400 -share/examples/otter/kalman/i4.in -share/examples/otter/misc/andrews.PII400 -share/examples/otter/misc/andrews.in -share/examples/otter/misc/cn.PII400 -share/examples/otter/misc/cn.in -share/examples/otter/misc/dem_alu.PII400 -share/examples/otter/misc/dem_alu.in -share/examples/otter/misc/ec.PII400 -share/examples/otter/misc/ec.in -share/examples/otter/misc/kb_bench.PII400 -share/examples/otter/misc/kb_bench.in -share/examples/otter/misc/mv.PII400 -share/examples/otter/misc/mv.in -share/examples/otter/misc/sax1.PII400 -share/examples/otter/misc/sax1.in -share/examples/otter/misc/sax2.PII400 -share/examples/otter/misc/sax2.in -share/examples/otter/misc/stage1.PII400 -share/examples/otter/misc/stage1.in -share/examples/otter/misc/stage2.PII400 -share/examples/otter/misc/stage2.in -share/examples/otter/misc/str_bws.PII400 -share/examples/otter/misc/str_bws.in -share/examples/otter/objects -share/examples/otter/program/eval.PII400 -share/examples/otter/program/eval.in -share/examples/otter/program/jugs.PII400 -share/examples/otter/program/jugs.in -share/examples/otter/program/mission.PII400 -share/examples/otter/program/mission.in -share/examples/otter/program/queens.PII400 -share/examples/otter/program/queens.in -share/examples/otter/program/two_inv.PII400 -share/examples/otter/program/two_inv.in -share/examples/otter/split/GEO010-2.PII400 -share/examples/otter/split/GEO010-2.in -share/examples/otter/split/GEO036-2.PII400 -share/examples/otter/split/GEO036-2.in -share/examples/otter/split/GRP025-1.PII400 -share/examples/otter/split/GRP025-1.in -share/examples/otter/split/README -share/examples/otter/split/group2.PII400 -share/examples/otter/split/group2.in -share/examples/otter/split/noncomm-group.PII400 -share/examples/otter/split/noncomm-group.in -share/examples/otter/split/pair.PII400 -share/examples/otter/split/pair.in -share/examples/otter/split/pigeon5.PII400 -share/examples/otter/split/pigeon5.in -share/examples/otter/split/power.PII400 -share/examples/otter/split/power.in -share/examples/otter/split/wang3.PII400 -share/examples/otter/split/wang3.in -share/examples/otter/split/zebra2.PII400 -share/examples/otter/split/zebra2.in -share/examples/otter/split/zebra4.PII400 -share/examples/otter/split/zebra4.in -share/examples/otter/summary -share/examples/otter/wos/README -share/examples/otter/wos/cursory.PII400 -share/examples/otter/wos/cursory.in -share/examples/otter/wos/grp_exp3.PII400 -share/examples/otter/wos/grp_exp3.in -share/examples/otter/wos/grp_exp4.PII400 -share/examples/otter/wos/grp_exp4.in -share/examples/otter/wos/manyval.PII400 -share/examples/otter/wos/manyval.in -share/examples/otter/wos/rigorous.PII400 -share/examples/otter/wos/rigorous.in -share/examples/otter/wos/rob_occ.PII400 -share/examples/otter/wos/rob_occ.in -share/examples/otter/wos/twoval.PII400 -share/examples/otter/wos/twoval.in -@dirrm share/examples/otter/wos -@dirrm share/examples/otter/split -@dirrm share/examples/otter/program -@dirrm share/examples/otter/misc -@dirrm share/examples/otter/kalman -@dirrm share/examples/otter/ivy -@dirrm share/examples/otter/fringe -@dirrm share/examples/otter/auto -@dirrm share/examples/otter -@dirrm share/doc/otter -- cgit v1.2.3