package info
(click to toggle)
Folder: 0.0.200902a-2
 |
.. (parent) | |||
|
d | rwxr-xr-x | 132 | .pc |
|
d | rwxr-xr-x | 10 | checked-jobs |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 4,096 | navbar-version |
|
d | rwxr-xr-x | 4,096 | references |
|
d | rwxr-xr-x | 4,096 | util |
 |
- | rw-r--r-- | 3,118 | 2inverter.in |
|
- | rw-r--r-- | 1,212,605 | 2inverter.out |
|
- | rw-r--r-- | 336 | BA-Sheffer.demods |
|
- | rw-r--r-- | 591 | BA2.in |
|
- | rw-r--r-- | 2,151 | BA2.interps |
|
- | rw-r--r-- | 603 | BA2.interps2 |
|
- | rw-r--r-- | 282 | BA2.interps3 |
|
- | rw-r--r-- | 325 | BA2.interps4 |
|
- | rw-r--r-- | 325 | BA2.interps5 |
|
- | rw-r--r-- | 183 | BA4.in |
|
- | rw-r--r-- | 438 | BA4.out |
|
- | rw-r--r-- | 360 | JA.in |
|
- | rw-r--r-- | 502 | LT-82-2-interp.in |
|
- | rw-r--r-- | 4,904 | LT-82-2-interp.out |
|
- | rw-r--r-- | 445 | LT-82-2-x.in |
|
- | rw-r--r-- | 865 | LT-82-2.in |
|
- | rw-r--r-- | 41,753 | LT-82-2.out |
|
- | rw-r--r-- | 1,444 | LT-port.in |
|
- | rw-r--r-- | 1,841 | LT-port.out |
|
- | rw-r--r-- | 975 | LT-port.out2 |
|
- | rw-r--r-- | 12,464 | MOL-cand.238 |
|
- | rw-r--r-- | 15,392 | MOL-cand.296 |
|
- | rw-r--r-- | 345 | MOL.in |
|
- | rw-r--r-- | 1,041 | MOL.interps |
|
- | rw-r--r-- | 435 | MOL.interps2 |
|
- | rw-r--r-- | 2,495 | PUZ031-1.in |
|
- | rw-r--r-- | 24,644 | PUZ031-1.out |
|
- | rw-r--r-- | 24,595 | PUZ031-1.out2 |
|
- | rw-r--r-- | 4,637 | PUZ031-1.tptp |
|
- | rw-r--r-- | 342 | RBA-2.in |
|
- | rw-r--r-- | 630 | RBA-2.tptp |
|
- | rw-r--r-- | 592 | RBA-2q.tptp |
|
- | rw-r--r-- | 393 | README.run |
|
- | rw-r--r-- | 636 | README.util |
|
- | rw-r--r-- | 192 | TODO |
|
- | rw-r--r-- | 4,788 | actions.html |
|
- | rw-r--r-- | 878 | advanced.html |
|
- | rw-r--r-- | 292 | andrews.in |
|
- | rw-r--r-- | 101,632 | andrews.out |
|
- | rw-r--r-- | 171,295 | andrews.out2 |
|
- | rw-r--r-- | 102 | assoc-comm.clauses |
|
- | rw-r--r-- | 3,924 | attributes.html |
|
- | rw-r--r-- | 8,917 | auto.html |
|
- | rw-r--r-- | 537 | bool-ring.demods |
|
- | rw-r--r-- | 951 | bool-ring.in |
|
- | rw-r--r-- | 383 | bool-ring.out |
|
- | rw-r--r-- | 1,783 | cabbages.in |
|
- | rw-r--r-- | 10,562 | cabbages.out |
|
- | rw-r--r-- | 3,478 | clause-properties.html |
|
- | rw-r--r-- | 4,473 | dependencies |
|
- | rw-r--r-- | 2,544 | easy.hints |
|
- | rw-r--r-- | 745 | easy.in |
|
- | rw-r--r-- | 22,977 | easy.out |
|
- | rw-r--r-- | 7,153 | err |
|
- | rw-r--r-- | 774,692 | finalbook.pdf |
|
- | rw-r--r-- | 174 | flag |
|
- | rw-r--r-- | 2,398 | fof-prover9.html |
|
- | rw-r--r-- | 58 | glo.temp |
|
- | rw-r--r-- | 23,254 | glossary.html |
|
- | rwxr-xr-x | 3,435 | go |
|
- | rwxr-xr-x | 327 | go-part |
|
- | rwxr-xr-x | 278 | go.options |
|
- | rw-r--r-- | 540 | go.outputs |
|
- | rw-r--r-- | 8,809 | goals.html |
|
- | rw-r--r-- | 198 | group-terms.in |
|
- | rw-r--r-- | 90 | group-terms.out |
|
- | rw-r--r-- | 315 | group.demods |
|
- | rw-r--r-- | 27,509 | hard-hints.out |
|
- | rw-r--r-- | 695 | hard.in |
|
- | rw-r--r-- | 43,954 | hard.out |
|
- | rw-r--r-- | 9,922 | hints.html |
|
- | rw-r--r-- | 200 | index.html |
|
- | rw-r--r-- | 21,049 | inf-rules.html |
|
- | rw-r--r-- | 7,682 | input.html |
|
- | rw-r--r-- | 1,443 | install.html |
|
- | rw-r--r-- | 1,326 | interp3.dtd |
|
- | rw-r--r-- | 3,804 | interp3.xsl |
|
- | rw-r--r-- | 4,092 | intro.html |
|
- | rw-r--r-- | 1,287 | jugs.in |
|
- | rw-r--r-- | 7,354 | jugs.out |
|
- | rw-r--r-- | 1,121 | kenken6.in |
|
- | rw-r--r-- | 3,322 | kenken6.out |
|
- | rw-r--r-- | 3,913 | limits.html |
|
- | rw-r--r-- | 2,166 | list.in |
|
- | rw-r--r-- | 10,896 | list.out |
|
- | rw-r--r-- | 2,857 | loop.html |
|
- | rw-r--r-- | 5,355 | m4-arithmetic.html |
|
- | rw-r--r-- | 4,525 | m4-input.html |
|
- | rw-r--r-- | 6,463 | m4-interpformat.html |
|
- | rw-r--r-- | 4,014 | m4-isofilter.html |
|
- | rw-r--r-- | 11,006 | m4-options.html |
|
- | rw-r--r-- | 3,270 | mace4.html |
|
- | rwxr-xr-x | 566 | make_book |
|
- | rw-r--r-- | 2,888 | manual.css |
|
- | rw-r--r-- | 5,087 | more-prep.html |
|
- | rw-r--r-- | 2,567 | nav.html |
|
- | rw-r--r-- | 13,481 | non-MOL-OML.interps |
|
- | rw-r--r-- | 13,238 | non-MOL-OML2.interps |
|
- | rw-r--r-- | 1,584 | olsax.in |
|
- | rw-r--r-- | 106,890 | olsax.out |
|
- | rw-r--r-- | 12,124 | options |
|
- | rw-r--r-- | 23,267 | options.html |
|
- | rw-r--r-- | 7,621 | others.html |
|
- | rw-r--r-- | 46 | otter_diff |
|
- | rw-r--r-- | 14,463 | output.html |
|
- | rw-r--r-- | 732 | outs |
|
- | rw-r--r-- | 189 | parm |
|
- | rwxr-xr-x | 545 | port.py |
|
- | rw-r--r-- | 267 | portable.in |
|
- | rw-r--r-- | 16,881 | process-inf.html |
|
- | rw-r--r-- | 13,459 | production.html |
|
- | rw-r--r-- | 2,019 | proof3.dtd |
|
- | rw-r--r-- | 1,999 | proof3.dtd.0 |
|
- | rw-r--r-- | 3,572 | proof3.xsl |
|
- | rw-r--r-- | 2,799 | proof3.xsl.0 |
|
- | rw-r--r-- | 8,458 | prooftrans.html |
|
- | rw-r--r-- | 2,542 | prover9-5a-256t.gif |
|
- | rw-r--r-- | 520 | qg4-ac.interps |
|
- | rw-r--r-- | 11,582 | qg4.interps |
|
- | rw-r--r-- | 604 | queens1.in |
|
- | rw-r--r-- | 2,558 | queens1.out |
|
- | rw-r--r-- | 593 | queens2.in |
|
- | rw-r--r-- | 3,311 | queens2.out |
|
- | rw-r--r-- | 1,545 | queens3.in |
|
- | rw-r--r-- | 174,078 | queens3.out |
|
- | rw-r--r-- | 1,135 | redeclare.in |
|
- | rw-r--r-- | 7,772 | redeclare.out |
|
- | rw-r--r-- | 2,615 | references.html |
|
- | rw-r--r-- | 242 | references.tex |
|
- | rw-r--r-- | 1,061 | ring41.in |
|
- | rw-r--r-- | 9,639 | ring41.out |
|
- | rwxr-xr-x | 420 | run-and-check |
|
- | rw-r--r-- | 5,552 | running.html |
|
- | rw-r--r-- | 9,477 | sed.glossary |
|
- | rw-r--r-- | 51 | sed.glossary-color |
|
- | rw-r--r-- | 60 | sed.int |
|
- | rw-r--r-- | 11,482 | sed.option-refs |
|
- | rw-r--r-- | 154 | sed.options-code |
|
- | rw-r--r-- | 66 | sed.version |
|
- | rw-r--r-- | 39 | sed1 |
|
- | rw-r--r-- | 322 | sed3 |
|
- | rw-r--r-- | 11,378 | select.html |
|
- | rw-r--r-- | 7,165 | select2.html |
|
- | rw-r--r-- | 8,135 | semantics.html |
|
- | rw-r--r-- | 398 | send-money.in |
|
- | rw-r--r-- | 2,942 | send-money.out |
|
- | rwxr-xr-x | 636 | setup_book |
|
- | rw-r--r-- | 186 | stringparm |
|
- | rw-r--r-- | 98 | subset.in |
|
- | rw-r--r-- | 193 | subset_trans.in |
|
- | rw-r--r-- | 6,380 | subset_trans.out |
|
- | rw-r--r-- | 6,323 | subset_trans.out2 |
|
- | rw-r--r-- | 6,408 | subset_trans.out3 |
|
- | rw-r--r-- | 6,437 | subset_trans.out4 |
|
- | rw-r--r-- | 1,251 | subset_trans.proof |
|
- | rw-r--r-- | 1,479 | subset_trans.proof1 |
|
- | rw-r--r-- | 1,477 | subset_trans.proof2 |
|
- | rw-r--r-- | 1,332 | subset_trans.proof3 |
|
- | rw-r--r-- | 1,520 | subset_trans.proof4 |
|
- | rw-r--r-- | 4,260 | subset_trans.proof5.xml |
|
- | rw-r--r-- | 2,073 | subset_trans.proof6 |
|
- | rw-r--r-- | 586 | subset_trans.proof7 |
|
- | rw-r--r-- | 815 | subset_trans.proof8 |
|
- | rw-r--r-- | 231 | subset_trans_expand.in |
|
- | rw-r--r-- | 5,365 | subset_trans_expand.out |
|
- | rw-r--r-- | 20,151 | syntax.html |
|
- | rw-r--r-- | 1,173 | talk-semantics.html |
|
- | rw-r--r-- | 955 | talk-software.html |
|
- | rw-r--r-- | 3,315 | temp |
|
- | rw-r--r-- | 73 | template.glossary |
|
- | rw-r--r-- | 34 | template.reference |
|
- | rw-r--r-- | 11,685 | term-order.html |
|
- | rw-r--r-- | 94 | trans.in |
|
- | rw-r--r-- | 1,471 | ubset_trans.proof2 |
|
- | rw-r--r-- | 9,053 | uc-18.interps |
|
- | rw-r--r-- | 1,137 | uc-hunt.clauses |
|
- | rw-r--r-- | 2,261 | uc-hunt.out |
|
- | rw-r--r-- | 9,582 | weight.html |
|
- | rw-r--r-- | 217 | weight_test.in |
|
- | rw-r--r-- | 90 | weight_test.out |
|
- | rw-r--r-- | 3,033 | white-black.html |
|
- | rw-r--r-- | 575 | x2.cooked |
|
- | rw-r--r-- | 161 | x2.in |
|
- | rw-r--r-- | 4,315 | x2.mace4.out |
|
- | rw-r--r-- | 513 | x2.portable |
|
- | rw-r--r-- | 4,843 | x2.prover9.out |
|
- | rw-r--r-- | 312 | x2.raw |
|
- | rw-r--r-- | 249 | x2.standard |
|
- | rw-r--r-- | 303 | x2.standard2 |
|
- | rw-r--r-- | 326 | x2.tabular |
|
- | rw-r--r-- | 536 | x2.tex |
|
- | rw-r--r-- | 1,681 | x2.xml |
|
- | rw-r--r-- | 1,596 | zebra2.in |
|
- | rw-r--r-- | 5,165 | zebra2.out |
