acl2-books-source 8.0dfsg-1 / usr / share / acl2-8.0dfsg / books / clause-processors

This file is indexed.

/usr/share/acl2-8.0dfsg/books/clause-processors/ 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/clause-processors/SULFA/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/bv-smt-solver/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/bv-smt-solver/bv-lib-definitions.acl2 text/plain root:root 0o644 116 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/bv-smt-solver/bv-lib-definitions.lisp text/x-lisp root:root 0o644 22.7 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/bv-smt-solver/bv-lib-lemmas.acl2 text/plain root:root 0o644 151 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/bv-smt-solver/bv-lib-lemmas.lisp text/x-lisp root:root 0o644 51.1 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/bv-smt-solver/bv-lib.acl2 text/plain root:root 0o644 144 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/bv-smt-solver/bv-lib.lisp text/plain root:root 0o644 507 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/bv-smt-solver/redundancy-removal.acl2 text/plain root:root 0o644 143 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/bv-smt-solver/redundancy-removal.lisp text/x-lisp root:root 0o644 13.4 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/bv-smt-solver/smt.acl2 text/plain root:root 0o644 149 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/bv-smt-solver/smt.lisp text/x-lisp root:root 0o644 8.0 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/bv-smt-solver/translation.acl2 text/plain root:root 0o644 157 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/bv-smt-solver/translation.lisp text/x-lisp root:root 0o644 21.4 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/clause-processors/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/clause-processors/sat-clause-processor.acl2 text/plain root:root 0o644 120 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/clause-processors/sat-clause-processor.lisp text/x-lisp root:root 0o644 12.5 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/clause-processors/sym-str.lisp text/x-lisp root:root 0o644 604 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/sat/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/sat-tests/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/sat-tests/benchmark.acl2 text/plain root:root 0o644 389 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/sat-tests/benchmark.lisp text/x-lisp root:root 0o644 18.0 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/sat-tests/sudoku.acl2 text/plain root:root 0o644 220 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/sat-tests/sudoku.lisp text/x-lisp root:root 0o644 4.0 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/sat-tests/test-help.acl2 text/plain root:root 0o644 140 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/sat-tests/test-help.lisp text/x-lisp root:root 0o644 3.3 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/sat-tests/test-incremental.acl2 text/plain root:root 0o644 230 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/sat-tests/test-incremental.lisp text/x-lisp root:root 0o644 54.0 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/sat-tests/tutorial.acl2 text/plain root:root 0o644 411 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/sat-tests/tutorial.lisp text/plain root:root 0o644 16.4 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/sat/cert.acl2 text/plain root:root 0o644 76 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/sat/check-output.lisp text/x-lisp root:root 0o644 19.7 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/sat/convert-to-cnf.lisp text/plain root:root 0o644 92.5 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/sat/local-clause-simp.lisp text/x-lisp root:root 0o644 5.2 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/sat/neq-implication.lisp text/x-lisp root:root 0o644 8.8 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/sat/recognizer.lisp text/x-lisp root:root 0o644 18.7 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/sat/sat-package.acl2 text/plain root:root 0o644 254 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/sat/sat-setup.acl2 text/plain root:root 0o644 239 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/sat/sat-setup.lisp text/plain root:root 0o644 33.3 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/sat/sat.acl2 text/plain root:root 0o644 113 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/sat/sat.lisp text/x-lisp root:root 0o644 40.0 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/sat/sexpr-sat-solver-const.lisp text/plain root:root 0o644 354 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/sat/sulfa-dir-const.acl2 text/plain root:root 0o644 105 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/books/sat/user-entry-data-structure.lisp text/x-lisp root:root 0o644 2.7 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/SULFA/target.lisp text/plain root:root 0o644 61 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/autohide.acl2 text/plain root:root 0o644 46 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/autohide.lisp text/plain root:root 0o644 15.2 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/basic-examples.acl2 text/plain root:root 0o644 390 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/basic-examples.lisp text/x-lisp root:root 0o644 35.9 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/bv-add-common.lisp text/x-lisp root:root 0o644 646 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/bv-add-tests.lisp text/x-lisp root:root 0o644 5.3 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/bv-add.lisp text/x-lisp root:root 0o644 8.6 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/constant-prop.acl2 text/plain root:root 0o644 45 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/constant-prop.lisp text/x-lisp root:root 0o644 18.5 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/decomp-hint.lisp text/x-lisp root:root 0o644 9.9 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/deps-SULFA.lisp text/plain root:root 0o644 137 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/doc.lisp text/plain root:root 0o644 1.3 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/equality-tests.lisp text/x-lisp root:root 0o644 1.4 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/equality.acl2 text/plain root:root 0o644 128 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/equality.lisp text/plain root:root 0o644 13.7 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/ev-find-rules.lisp text/x-lisp root:root 0o644 5.2 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/ev-theoremp.lisp text/plain root:root 0o644 9.2 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/find-matching.acl2 text/plain root:root 0o644 45 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/find-matching.lisp text/x-lisp root:root 0o644 4.6 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/find-subterms.lisp text/x-lisp root:root 0o644 3.3 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/generalize.acl2 text/plain root:root 0o644 45 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/generalize.lisp text/plain root:root 0o644 26.5 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/induction.lisp text/x-lisp root:root 0o644 24.6 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/instantiate.lisp text/x-lisp root:root 0o644 7.9 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/join-thms.lisp text/plain root:root 0o644 7.3 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/just-expand.lisp text/plain root:root 0o644 48.8 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/let-abstraction.acl2 text/plain root:root 0o644 46 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/let-abstraction.lisp text/x-lisp root:root 0o644 47.6 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/magic-ev.lisp text/x-lisp root:root 0o644 3.9 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/meta-extract-simple-test.lisp text/x-lisp root:root 0o644 8.4 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/meta-extract-user.acl2 text/plain root:root 0o644 45 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/meta-extract-user.lisp text/plain root:root 0o644 58.7 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/multi-env-trick.lisp text/plain root:root 0o644 16.8 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/null-fail-hints.lisp text/x-lisp root:root 0o644 1.9 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/nvalues-thms.lisp text/x-lisp root:root 0o644 11.9 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/replace-defined-consts.acl2 text/plain root:root 0o644 65 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/replace-defined-consts.lisp text/x-lisp root:root 0o644 8.7 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/replace-equalities.acl2 text/plain root:root 0o644 105 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/replace-equalities.lisp text/x-lisp root:root 0o644 16.9 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/replace-impl.lisp text/x-lisp root:root 0o644 6.0 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/stobj-preservation.lisp text/plain root:root 0o644 15.9 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/sublis-var-meaning.lisp text/plain root:root 0o644 9.7 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/term-patterns.acl2 text/plain root:root 0o644 256 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/term-patterns.lisp text/x-lisp root:root 0o644 6.7 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/unify-subst.acl2 text/plain root:root 0o644 66 bytes
/usr/share/acl2-8.0dfsg/books/clause-processors/unify-subst.lisp text/plain root:root 0o644 47.0 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/use-by-hint.lisp text/x-lisp root:root 0o644 15.1 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/witness-cp.acl2 text/plain root:root 0o644 1.5 KB
/usr/share/acl2-8.0dfsg/books/clause-processors/witness-cp.lisp text/plain root:root 0o644 84.3 KB

APT Browse - Built by Thomas Orozco.