apps/otter-1.0.03
An Automated Deduction System
mocaccino-community
Overview of apps/otter
OCI Image:
quay.io/mocaccino/mocaccino-community:otter-apps-1.0.03
Browse
Version:
1.0.03
License:
otter
Build date:
Requires
qt >=0
Labels
emerge.jobs: 1
emerge.packages: www-client/otter
Links
http://www.cs.unm.edu/~mccune/otter/
Provides
otter >=0
Files
Name