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

This file is indexed.

/usr/share/acl2-8.0dfsg/books/projects/sat/ 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/sat/dimacs-reader/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/sat/dimacs-reader/cert.acl2 text/plain root:root 0o644 58 bytes
/usr/share/acl2-8.0dfsg/books/projects/sat/dimacs-reader/portcullis.acl2 text/plain root:root 0o644 69 bytes
/usr/share/acl2-8.0dfsg/books/projects/sat/dimacs-reader/portcullis.lisp text/plain root:root 0o644 63 bytes
/usr/share/acl2-8.0dfsg/books/projects/sat/dimacs-reader/reader.lisp text/html root:root 0o644 38.4 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/cube/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/cube/cert.acl2 text/plain root:root 0o644 31 bytes
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/cube/clean-formula.acl2 text/plain root:root 0o644 114 bytes
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/cube/clean-formula.lisp text/x-lisp root:root 0o644 7.9 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/cube/cube.lisp text/x-lisp root:root 0o644 18.4 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/cube/run.lisp text/x-lisp root:root 0o644 13.1 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/cube/transform.lisp text/x-lisp root:root 0o644 9.5 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/cube/verify-for-cube-soundness-lemmas.lisp text/x-lisp root:root 0o644 11.9 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/cube/verify-for-cube-soundness-main.lisp text/plain root:root 0o644 5.9 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/cube/verify-for-cube-soundness.lisp text/x-lisp root:root 0o644 3.0 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/drat/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/drat/cert.acl2 text/plain root:root 0o644 103 bytes
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/drat/drat-checker-basic.lisp text/x-lisp root:root 0o644 60.4 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev1/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev1/lrat-checker.lisp text/x-lisp root:root 0o644 24.7 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev1/lrat-parser.lisp text/x-lisp root:root 0o644 10.8 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev1/run.lisp text/x-lisp root:root 0o644 1.1 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev1/sat-drat-claim-1.lisp text/x-lisp root:root 0o644 4.2 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev1/sat-drat-claim-2-3.lisp text/x-lisp root:root 0o644 15.7 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev1/sat-drat-claim-2.lisp text/plain root:root 0o644 9.8 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev1/satisfiable-add-proof-clause-base.lisp text/x-lisp root:root 0o644 6.8 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev1/satisfiable-add-proof-clause-drat.lisp text/plain root:root 0o644 7.5 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev1/satisfiable-add-proof-clause-rup.lisp text/plain root:root 0o644 5.2 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev1/satisfiable-add-proof-clause.lisp text/plain root:root 0o644 10.2 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev1/soundness.lisp text/x-lisp root:root 0o644 7.9 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev1/test-driver.lisp text/plain root:root 0o644 1.8 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev1/top.lisp text/x-lisp root:root 0o644 18.3 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev1/truth-monotone.lisp text/plain root:root 0o644 997 bytes
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev1/unit-propagation-correct.lisp text/plain root:root 0o644 5.2 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev1/unit-propagation-implies-unsat.lisp text/plain root:root 0o644 5.1 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev1/unit-propagation-monotone.lisp text/x-lisp root:root 0o644 7.2 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev2/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev2/lrat-checker.lisp text/x-lisp root:root 0o644 26.1 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev2/lrat-parser.lisp text/x-lisp root:root 0o644 10.8 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev2/run.lisp text/x-lisp root:root 0o644 1.1 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev2/sat-drat-claim-1.lisp text/x-lisp root:root 0o644 3.5 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev2/sat-drat-claim-2-3.lisp text/x-lisp root:root 0o644 16.3 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev2/sat-drat-claim-2.lisp text/plain root:root 0o644 9.9 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev2/satisfiable-add-proof-clause-base.lisp text/plain root:root 0o644 2.9 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev2/satisfiable-add-proof-clause-drat.lisp text/plain root:root 0o644 7.8 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev2/satisfiable-add-proof-clause-rup.lisp text/plain root:root 0o644 4.0 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev2/satisfiable-add-proof-clause.lisp text/plain root:root 0o644 11.3 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev2/satisfiable-maybe-shrink-formula.lisp text/plain root:root 0o644 8.3 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev2/soundness.lisp text/x-lisp root:root 0o644 10.5 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev2/test-driver.lisp text/plain root:root 0o644 1.8 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev2/top.lisp text/x-lisp root:root 0o644 18.2 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev2/truth-monotone.lisp text/plain root:root 0o644 1.0 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev2/unit-propagation-correct.lisp text/plain root:root 0o644 5.0 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev2/unit-propagation-implies-unsat.lisp text/plain root:root 0o644 3.2 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/early/rev2/unit-propagation-monotone.lisp text/x-lisp root:root 0o644 7.1 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/incremental/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/incremental/cert.acl2 text/plain root:root 0o644 31 bytes
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/incremental/clrat-parser.lisp text/x-lisp root:root 0o644 65.2 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/incremental/incremental.lisp text/x-lisp root:root 0o644 36.6 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/incremental/limits.lisp text/plain root:root 0o644 11.9 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/incremental/print-formula.lisp text/x-lisp root:root 0o644 3.9 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/incremental/run.lisp text/x-lisp root:root 0o644 3.2 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/incremental/soundness-main-1.lisp text/plain root:root 0o644 3.6 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/incremental/soundness-main.lisp text/plain root:root 0o644 5.4 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/incremental/soundness.lisp text/x-lisp root:root 0o644 6.6 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/incremental/test-driver.lisp text/x-lisp root:root 0o644 3.7 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/incremental/top.lisp text/x-lisp root:root 0o644 43.0 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/list-based/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/list-based/cert.acl2 text/plain root:root 0o644 31 bytes
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/list-based/lrat-checker.lisp text/x-lisp root:root 0o644 29.8 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/list-based/lrat-parser.lisp text/x-lisp root:root 0o644 11.5 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/list-based/run.lisp text/x-lisp root:root 0o644 1.1 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/list-based/sat-drat-claim-1.lisp text/x-lisp root:root 0o644 3.3 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/list-based/sat-drat-claim-2-3.lisp text/x-lisp root:root 0o644 16.6 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/list-based/sat-drat-claim-2.lisp text/plain root:root 0o644 8.8 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/list-based/satisfiable-add-proof-clause-base.lisp text/plain root:root 0o644 2.9 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/list-based/satisfiable-add-proof-clause-drat.lisp text/plain root:root 0o644 6.9 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/list-based/satisfiable-add-proof-clause-rup.lisp text/plain root:root 0o644 3.5 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/list-based/satisfiable-add-proof-clause.lisp text/plain root:root 0o644 10.7 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/list-based/satisfiable-maybe-shrink-formula.lisp text/plain root:root 0o644 8.3 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/list-based/soundness.lisp text/x-lisp root:root 0o644 8.8 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/list-based/test-driver.lisp text/plain root:root 0o644 1.5 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/list-based/top.lisp text/x-lisp root:root 0o644 20.5 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/list-based/truth-monotone.lisp text/plain root:root 0o644 1.0 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/list-based/unit-propagation-correct.lisp text/plain root:root 0o644 6.3 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/list-based/unit-propagation-implies-unsat.lisp text/plain root:root 0o644 3.0 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/list-based/unit-propagation-monotone.lisp text/x-lisp root:root 0o644 7.1 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/portcullis.acl2 text/plain root:root 0o644 488 bytes
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/portcullis.lisp text/plain root:root 0o644 20 bytes
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/sorted/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/sorted/cert.acl2 text/plain root:root 0o644 31 bytes
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/sorted/lrat-checker-support.lisp text/x-lisp root:root 0o644 4.8 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/sorted/lrat-checker.lisp text/x-lisp root:root 0o644 48.9 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/sorted/lrat-parser.lisp text/x-lisp root:root 0o644 902 bytes
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/sorted/run.lisp text/x-lisp root:root 0o644 1.0 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/sorted/test-driver.lisp text/x-lisp root:root 0o644 3.1 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/stobj-based/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/stobj-based/cert.acl2 text/plain root:root 0o644 31 bytes
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/stobj-based/equiv.lisp text/x-lisp root:root 0o644 22.6 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/stobj-based/limits.lisp text/plain root:root 0o644 10.1 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/stobj-based/lrat-checker.lisp text/x-lisp root:root 0o644 80.2 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/stobj-based/lrat-parser.lisp text/x-lisp root:root 0o644 35.4 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/stobj-based/run.lisp text/x-lisp root:root 0o644 1.3 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/stobj-based/soundness.lisp text/plain root:root 0o644 968 bytes
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/stobj-based/test-driver.lisp text/plain root:root 0o644 1.9 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/lrat/top.lisp text/plain root:root 0o644 507 bytes
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-array/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-array/assignment-equiv.lisp text/x-lisp root:root 0o644 77.5 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-array/assignment-st.lisp text/x-lisp root:root 0o644 98.6 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-array/cert.acl2 text/plain root:root 0o644 59 bytes
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-array/farray.lisp text/plain root:root 0o644 52.0 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-array/portcullis.acl2 text/plain root:root 0o644 70 bytes
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-array/portcullis.lisp text/plain root:root 0o644 69 bytes
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-array/rat-checker-new.lisp text/x-lisp root:root 0o644 61.9 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-array/supplemental/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-array/supplemental/all-literals.lisp text/x-lisp root:root 0o644 1.2 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-array/supplemental/assignment.lisp text/x-lisp root:root 0o644 1.2 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-array/supplemental/cert.acl2 text/plain root:root 0o644 62 bytes
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-array/supplemental/clause.lisp text/x-lisp root:root 0o644 1.9 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-array/supplemental/evaluator.lisp text/x-lisp root:root 0o644 14.6 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-array/supplemental/literal.lisp text/x-lisp root:root 0o644 4.0 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-array/supplemental/mv-nth.lisp text/plain root:root 0o644 404 bytes
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-array/supplemental/old-literal.lisp text/x-lisp root:root 0o644 2.5 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-array/supplemental/sb60.lisp text/plain root:root 0o644 80 bytes
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-array/supplemental/sets.lisp text/x-lisp root:root 0o644 6.9 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-array/supplemental/ternary.lisp text/x-lisp root:root 0o644 2.8 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-array/supplemental/unique.lisp text/x-lisp root:root 0o644 7.3 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-array/supplemental/unit-propagation.lisp text/x-lisp root:root 0o644 4.8 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-array/top.lisp text/html root:root 0o644 11.9 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-itp13/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-itp13/cert.acl2 text/plain root:root 0o644 58 bytes
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-itp13/portcullis.acl2 text/plain root:root 0o644 68 bytes
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-itp13/portcullis.lisp text/plain root:root 0o644 68 bytes
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-itp13/rat-checker.lisp text/x-lisp root:root 0o644 56.7 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-itp13/supplemental/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-itp13/supplemental/all-literals.lisp text/x-lisp root:root 0o644 1.2 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-itp13/supplemental/assignment.lisp text/x-lisp root:root 0o644 1.2 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-itp13/supplemental/cert.acl2 text/plain root:root 0o644 61 bytes
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-itp13/supplemental/clause.lisp text/x-lisp root:root 0o644 1.9 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-itp13/supplemental/evaluator.lisp text/x-lisp root:root 0o644 14.6 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-itp13/supplemental/literal.lisp text/x-lisp root:root 0o644 2.3 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-itp13/supplemental/mv-nth.lisp text/plain root:root 0o644 404 bytes
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-itp13/supplemental/sets.lisp text/x-lisp root:root 0o644 6.9 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-itp13/supplemental/ternary.lisp text/x-lisp root:root 0o644 2.8 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-itp13/supplemental/unique.lisp text/x-lisp root:root 0o644 7.3 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-itp13/supplemental/unit-propagation.lisp text/x-lisp root:root 0o644 4.8 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/proof-checker-itp13/top.lisp text/plain root:root 0o644 18.7 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/zz-resolution-checker/ root:root 0o755
/usr/share/acl2-8.0dfsg/books/projects/sat/zz-resolution-checker/zz-check.lisp text/x-lisp root:root 0o644 20.2 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/zz-resolution-checker/zz-induction.lisp text/plain root:root 0o644 8.5 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/zz-resolution-checker/zz-record.acl2 text/plain root:root 0o644 71 bytes
/usr/share/acl2-8.0dfsg/books/projects/sat/zz-resolution-checker/zz-record.lisp text/x-lisp root:root 0o644 10.8 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/zz-resolution-checker/zz-resolve.lisp text/x-lisp root:root 0o644 11.3 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/zz-resolution-checker/zz-two-pass.lisp text/x-lisp root:root 0o644 19.8 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/zz-resolution-checker/zz.acl2 text/plain root:root 0o644 138 bytes
/usr/share/acl2-8.0dfsg/books/projects/sat/zz-resolution-checker/zz.lisp text/x-lisp root:root 0o644 13.0 KB
/usr/share/acl2-8.0dfsg/books/projects/sat/zz-resolution-checker/zzv-interface.lisp text/x-lisp root:root 0o644 5.3 KB

APT Browse - Built by Thomas Orozco.