Ubuntu
atp package

atp source package in Xenial

atp: No summary available for atp in ubuntu yakkety.

Versions published

Release

The package versions that were published when the distribution release was made.

atp information

Current version:
1.2-11ubuntu1
Uploaded:
Urgency:
Low Urgency

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.

Releases in Ubuntu

Binary packages

Download files from current release (1.2-11ubuntu1)

File Size SHA-256 Checksum
atp_1.2.orig.tar.gz 21.6 KiB 60eda4242843de5d6d1bca5075c9869bc409cc709d97d9fc9d1340538b5e7bc6
atp_1.2-11ubuntu1.diff.gz 10.5 KiB 6d63bb6fa0ba4c4eacdd80e1810edb586e3315b25fd70eb97a6d454c08c7469e
atp_1.2-11ubuntu1.dsc 1022 bytes 226a482b467452c834d8842334158ac3ba94b4418bde79337ca6c78f0f45acaf

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies