| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 03-May-2022 | - | ||||
| old_READMEs/ | H | 03-May-2022 | - | 454 | 306 | |
| README | H A D | 25-Jun-2003 | 282 | 23 | 14 | |
| anldp.tex | H A D | 11-May-2001 | 34.5 KiB | 882 | 792 | |
| group.in | H A D | 15-May-2001 | 259 | 8 | 7 | |
| mace2.tex | H A D | 01-Jun-2001 | 27.2 KiB | 793 | 703 | |
| otter33.tex | H A D | 29-Aug-2003 | 186.5 KiB | 4,661 | 4,037 |
README
1Otter 3.3 Reference Manual 2 3 otter33.tex 4 otter33.ps 5 otter33.pdf 6 7MACE 2.0 Reference Manual and Guide 8 9 mace2.tex 10 mace2.ps 11 mace2.pdf 12 13A Davis-Putnam Program and Its Application to 14Finite First-Order Model Search: 15Quasigroup Existence Problems 16 17 anldp.tex 18 anldp.ps 19 anldp.pdf 20 21 22 23