BSD Ports[email protected] 1 ports
| Port | System | Version | Comment |
|---|---|---|---|
| misc/otter | FreeBSD | 3.3f_4 | misc/otter 3.3f_4: Theorem prover and finite model searcher. FreeBSD port maintained by [email protected]. |
| Port | System | Version | Comment |
|---|---|---|---|
| misc/otter | FreeBSD | 3.3f_4 | misc/otter 3.3f_4: Theorem prover and finite model searcher. FreeBSD port maintained by [email protected]. |