acl2-books-source 8.0dfsg-1 / usr / share / acl2-8.0dfsg / books / projects / taspi

This file is indexed.

/usr/share/acl2-8.0dfsg/books/projects/taspi/ is in acl2-books-source 8.0dfsg-1.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/brlens/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/brlens/brlens.lisp text/x-lisp root:root 0o644 4.5 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/brlens/trees-with-brlens.lisp text/x-lisp root:root 0o644 12.7 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/build/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/build/build-term-guards.lisp text/plain root:root 0o644 19.6 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/build/build-term.lisp text/x-lisp root:root 0o644 8.2 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/fringes/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/fringes/fringes-guards.lisp text/plain root:root 0o644 22.2 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/fringes/fringes-props.lisp text/plain root:root 0o644 8.3 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/fringes/fringes.lisp text/x-lisp root:root 0o644 26.4 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/gen-helper/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/gen-helper/bdd-functions.lisp text/x-lisp root:root 0o644 23.3 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/gen-helper/extra.lisp text/x-lisp root:root 0o644 7.3 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/gen-helper/fast-lists.lisp text/x-lisp root:root 0o644 11.5 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/gen-helper/sets.lisp text/x-lisp root:root 0o644 20.5 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/gen-helper/top.lisp text/plain root:root 0o644 100 bytes
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/gen-trees/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/gen-trees/app-rev-lists.lisp text/plain root:root 0o644 3.8 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/gen-trees/btrees-bdds-sets.lisp text/plain root:root 0o644 3.8 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/gen-trees/btrees-bdds.lisp text/x-lisp root:root 0o644 3.0 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/gen-trees/btrees.lisp text/x-lisp root:root 0o644 11.7 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/gen-trees/sets-lists-trees.lisp text/x-lisp root:root 0o644 7.3 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/gen-trees/top.lisp text/plain root:root 0o644 239 bytes
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/gen-trees/tree-predicates.lisp text/x-lisp root:root 0o644 21.4 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/replete/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/replete/replete-guards.lisp text/x-lisp root:root 0o644 7.9 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/replete/replete-helper.lisp text/x-lisp root:root 0o644 23.4 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/replete/replete.lisp text/x-lisp root:root 0o644 8.0 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/sequences/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/sequences/align.lisp text/x-lisp root:root 0o644 9.2 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/sequences/p-inform.lisp text/x-lisp root:root 0o644 3.7 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/sequences/seqs.lisp text/x-lisp root:root 0o644 4.1 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/tree-manip/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/tree-manip/insertion-based-sort.lisp text/x-lisp root:root 0o644 38.0 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/tree-manip/merge-based-sort.lisp text/x-lisp root:root 0o644 19.5 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/tree-manip/mv-root.lisp text/x-lisp root:root 0o644 8.6 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/tree-manip/quicksort.lisp text/x-lisp root:root 0o644 6.2 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/tree-manip/sort-help.lisp text/x-lisp root:root 0o644 9.4 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/code/tree-manip/top.lisp text/plain root:root 0o644 118 bytes
/usr/share/acl2-8.0dfsg/books/projects/taspi/database/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/taspi/database/db-from-list.lisp text/x-lisp root:root 0o644 1.3 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/database/db.lisp text/x-lisp root:root 0o644 30.8 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/database/entry.lisp text/x-lisp root:root 0o644 15.8 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/database/filters.lisp text/x-lisp root:root 0o644 27.3 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/database/props.lisp text/x-lisp root:root 0o644 7.7 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/proofs/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/taspi/proofs/fringes-taspi.acl2 text/plain root:root 0o644 70 bytes
/usr/share/acl2-8.0dfsg/books/projects/taspi/proofs/fringes-taspi.lisp text/x-lisp root:root 0o644 33.3 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/proofs/omerge-good-order.acl2 text/plain root:root 0o644 61 bytes
/usr/share/acl2-8.0dfsg/books/projects/taspi/proofs/omerge-good-order.lisp text/x-lisp root:root 0o644 11.6 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/proofs/sets.acl2 text/plain root:root 0o644 141 bytes
/usr/share/acl2-8.0dfsg/books/projects/taspi/proofs/sets.lisp text/x-lisp root:root 0o644 9.7 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/sets-input/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/taspi/sets-input/consensus.lisp text/x-lisp root:root 0o644 9.5 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/sets-input/greedy.lisp text/x-lisp root:root 0o644 5.4 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/sets-input/mast.lisp text/x-lisp root:root 0o644 4.3 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/sets-input/mct.lisp text/x-lisp root:root 0o644 3.8 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/sets-input/multipolar-loose.lisp text/x-lisp root:root 0o644 15.8 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/sets-input/top.lisp text/plain root:root 0o644 214 bytes
/usr/share/acl2-8.0dfsg/books/projects/taspi/sets-input/tree-compat.lisp text/x-lisp root:root 0o644 7.1 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/sets-input/tree-support-in-set.lisp text/x-lisp root:root 0o644 16.3 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/single-input/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/taspi/single-input/taxa-based.lisp text/x-lisp root:root 0o644 26.8 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/single-input/tree-stats.lisp text/x-lisp root:root 0o644 6.0 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/taspi-xdoc.lisp text/plain root:root 0o644 67.5 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/tree-distance/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/taspi/tree-distance/rf.lisp text/x-lisp root:root 0o644 6.8 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/tree-distance/symm-diff.lisp text/x-lisp root:root 0o644 4.0 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/tree-generation/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/taspi/tree-generation/branch-and-bound/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/taspi/tree-generation/branch-and-bound/bandb.lisp text/x-lisp root:root 0o644 12.9 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/tree-generation/distance-based/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/taspi/tree-generation/distance-based/naive-quartet-method.lisp text/x-lisp root:root 0o644 11.9 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/tree-generation/heuristics/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/taspi/tree-generation/heuristics/do-search.lisp text/x-lisp root:root 0o644 11.6 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/tree-generation/heuristics/spr.lisp text/x-lisp root:root 0o644 11.9 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/tree-generation/heuristics/tbr.lisp text/x-lisp root:root 0o644 17.5 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/tree-generation/tree-gen-helper/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/taspi/tree-generation/tree-gen-helper/basics.lisp text/x-lisp root:root 0o644 9.8 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/tree-score/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/taspi/tree-score/ambig-score.lisp text/x-lisp root:root 0o644 5.7 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/tree-score/circle-scoring.lisp text/x-lisp root:root 0o644 3.7 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/tree-score/costs.lisp text/x-lisp root:root 0o644 8.2 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/tree-score/efficient-pscores-help.lisp text/x-lisp root:root 0o644 2.8 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/tree-score/efficient-pscores.lisp text/x-lisp root:root 0o644 13.0 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/tree-score/fitch-scoring.lisp text/x-lisp root:root 0o644 11.6 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/tree-score/min-length.lisp text/x-lisp root:root 0o644 32.8 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/tree-score/opt-pairwise.lisp text/x-lisp root:root 0o644 2.1 KB
/usr/share/acl2-8.0dfsg/books/projects/taspi/tree-score/pscores.lisp text/x-lisp root:root 0o644 19.3 KB

APT Browse - Built by Thomas Orozco.