Пакет исходного кода: otter (3.3f-1.1)
Ссылки для otter
Ресурсы Debian:
Сопровождающий:
Из этого пакета исходного кода собираются следующие двоичные пакеты:
- formed
- formula editor for first-order logic formulae
- mace2
- program that searches for finite models of first-order statements
- otter
- resolution-style theorem prover
Другие пакеты, относящиеся к otter
-
- adep:
debhelper
(>= 5)
- вспомогательные программы для debian/rules
-
- adep:
libxaw7-dev
- X11 Athena Widget library (development headers)
-
- adep:
hevea
- translates from LaTeX to HTML, info, or text
