Ubuntu
atp package

atp package in Ubuntu

This package has 0 new bugs and 0 open questions.

Package information

Maintainer:
Ubuntu Developers
Urgency:*
Low Urgency
Architectures:*
any
Latest upload:
1.2-11ubuntu1

*actual publishing details may vary in this distribution, these are just the package defaults.

Upstream connections

ATP ⇒ trunk

Programmed in c++, a modular resolution theorem prover with interfaces for UI, Refinements, Resolution algorithms and almost any component. Not built for optimization in speed.

Bug supervisor: yes
Bug tracker: no
Branch: no

There are no registered releases for the ATP ⇒ trunk.

The Xenial Xerus (supported)
1.2-11ubuntu1 release (universe)
The Trusty Tahr (supported)
1.2-11ubuntu1 release (universe)