BSD Portsmisc/otter 3.3f_4 DragonFly
Theorem prover and finite model searcher
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- License
- PD
- Categories
- misc
- Package size
- 796.3 KiB, 4443.2 KiB installed
Description
Otter is an automated deduction system (theorem prover) for first-order logic with equality developed at Argonne National Laboratories.
In the other systems
| System | Port | Version |
|---|---|---|
| DragonFly | misc/otter | 3.3f_4 |
| FreeBSD | misc/otter | 3.3f_4 |
| NetBSD | math/otter | 3.0.6nb2 |
Install
Binary package:
pkg install otterFrom DPorts:
cd /usr/dports/misc/otter && make install cleanDependencies
No port depends on this one.