acl2-books-source 4.3-3 / usr / share / acl2-4.3 / books / clause-processors

This file is indexed.

/usr/share/acl2-4.3/books/clause-processors/ is in acl2-books-source 4.3-3.

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

File Mime Type Owner Mode Size
..
/usr/share/acl2-4.3/books/clause-processors/SULFA/ root:root 0o755
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/ root:root 0o755
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/bv-smt-solver/ root:root 0o755
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/bv-smt-solver/bv-lib-definitions.acl2 text/plain root:root 0o644 111 bytes
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/bv-smt-solver/bv-lib-definitions.lisp text/x-lisp root:root 0o644 23.2 KB
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/bv-smt-solver/bv-lib-lemmas.acl2 text/plain root:root 0o644 126 bytes
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/bv-smt-solver/bv-lib-lemmas.lisp text/x-lisp root:root 0o644 51.6 KB
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/bv-smt-solver/bv-lib.acl2 text/plain root:root 0o644 119 bytes
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/bv-smt-solver/bv-lib.lisp text/plain root:root 0o644 507 bytes
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/bv-smt-solver/redundancy-removal.acl2 text/plain root:root 0o644 146 bytes
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/bv-smt-solver/redundancy-removal.lisp text/x-lisp root:root 0o644 13.5 KB
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/bv-smt-solver/smt.acl2 text/plain root:root 0o644 120 bytes
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/bv-smt-solver/smt.lisp text/x-lisp root:root 0o644 8.1 KB
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/bv-smt-solver/translation.acl2 text/plain root:root 0o644 128 bytes
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/bv-smt-solver/translation.lisp text/x-lisp root:root 0o644 21.5 KB
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/clause-processors/ root:root 0o755
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/clause-processors/sat-clause-processor.acl2 text/plain root:root 0o644 114 bytes
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/clause-processors/sat-clause-processor.lisp text/x-lisp root:root 0o644 12.6 KB
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/clause-processors/sym-str.lisp text/x-lisp root:root 0o644 606 bytes
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/sat/ root:root 0o755
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/sat-tests/ root:root 0o755
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/sat-tests/benchmark.acl2 text/plain root:root 0o644 140 bytes
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/sat-tests/benchmark.lisp text/x-lisp root:root 0o644 18.0 KB
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/sat-tests/sudoku.acl2 text/plain root:root 0o644 137 bytes
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/sat-tests/sudoku.lisp text/x-lisp root:root 0o644 4.0 KB
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/sat-tests/test-help.acl2 text/plain root:root 0o644 140 bytes
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/sat-tests/test-help.lisp text/x-lisp root:root 0o644 3.4 KB
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/sat-tests/test-incremental.acl2 text/plain root:root 0o644 147 bytes
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/sat-tests/test-incremental.lisp text/x-lisp root:root 0o644 54.6 KB
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/sat-tests/tutorial.acl2 text/plain root:root 0o644 139 bytes
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/sat-tests/tutorial.lisp text/plain root:root 0o644 16.9 KB
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/sat/cert.acl2 text/plain root:root 0o644 76 bytes
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/sat/check-output.lisp text/x-lisp root:root 0o644 19.8 KB
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/sat/convert-to-cnf.lisp text/plain root:root 0o644 93.0 KB
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/sat/local-clause-simp.lisp text/x-lisp root:root 0o644 3.6 KB
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/sat/neq-implication.lisp text/x-lisp root:root 0o644 8.9 KB
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/sat/recognizer.lisp text/x-lisp root:root 0o644 18.8 KB
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/sat/sat-package.acl2 text/plain root:root 0o644 253 bytes
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/sat/sat-setup.lisp text/plain root:root 0o644 33.5 KB
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/sat/sat.acl2 text/plain root:root 0o644 120 bytes
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/sat/sat.lisp text/x-lisp root:root 0o644 40.0 KB
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/sat/sexpr-sat-solver-const.lisp text/plain root:root 0o644 354 bytes
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/sat/sulfa-dir-const.acl2 text/plain root:root 0o644 122 bytes
/usr/share/acl2-4.3/books/clause-processors/SULFA/books/sat/user-entry-data-structure.lisp text/x-lisp root:root 0o644 2.8 KB
/usr/share/acl2-4.3/books/clause-processors/autohide.acl2 text/plain root:root 0o644 62 bytes
/usr/share/acl2-4.3/books/clause-processors/autohide.lisp text/plain root:root 0o644 14.6 KB
/usr/share/acl2-4.3/books/clause-processors/basic-examples.acl2 text/plain root:root 0o644 70 bytes
/usr/share/acl2-4.3/books/clause-processors/basic-examples.lisp text/x-lisp root:root 0o644 30.8 KB
/usr/share/acl2-4.3/books/clause-processors/bv-add-common.lisp text/x-lisp root:root 0o644 648 bytes
/usr/share/acl2-4.3/books/clause-processors/bv-add-tests.lisp text/x-lisp root:root 0o644 5.0 KB
/usr/share/acl2-4.3/books/clause-processors/bv-add.lisp text/x-lisp root:root 0o644 8.7 KB
/usr/share/acl2-4.3/books/clause-processors/decomp-hint.lisp text/x-lisp root:root 0o644 9.6 KB
/usr/share/acl2-4.3/books/clause-processors/equality.acl2 text/plain root:root 0o644 72 bytes
/usr/share/acl2-4.3/books/clause-processors/equality.lisp text/plain root:root 0o644 14.0 KB
/usr/share/acl2-4.3/books/clause-processors/ev-theoremp.lisp text/plain root:root 0o644 7.7 KB
/usr/share/acl2-4.3/books/clause-processors/generalize.acl2 text/plain root:root 0o644 75 bytes
/usr/share/acl2-4.3/books/clause-processors/generalize.lisp text/x-lisp root:root 0o644 22.4 KB
/usr/share/acl2-4.3/books/clause-processors/join-thms.lisp text/plain root:root 0o644 7.2 KB
/usr/share/acl2-4.3/books/clause-processors/multi-env-trick.lisp text/plain root:root 0o644 16.8 KB
/usr/share/acl2-4.3/books/clause-processors/null-fail-hints.lisp text/x-lisp root:root 0o644 1.9 KB
/usr/share/acl2-4.3/books/clause-processors/nvalues-thms.lisp text/x-lisp root:root 0o644 11.9 KB
/usr/share/acl2-4.3/books/clause-processors/replace-defined-consts.acl2 text/plain root:root 0o644 86 bytes
/usr/share/acl2-4.3/books/clause-processors/replace-defined-consts.lisp text/x-lisp root:root 0o644 8.7 KB
/usr/share/acl2-4.3/books/clause-processors/replace-impl.lisp text/x-lisp root:root 0o644 6.0 KB
/usr/share/acl2-4.3/books/clause-processors/term-patterns.lisp text/x-lisp root:root 0o644 6.6 KB
/usr/share/acl2-4.3/books/clause-processors/unify-subst.acl2 text/plain root:root 0o644 76 bytes
/usr/share/acl2-4.3/books/clause-processors/unify-subst.lisp text/x-lisp root:root 0o644 17.7 KB
/usr/share/acl2-4.3/books/clause-processors/use-by-hint.lisp text/x-lisp root:root 0o644 2.9 KB

APT Browse - Built by Thomas Orozco.