BSD Portsdevel/ocaml-psmt2-frontend 0.4.0 DragonFly
SMT-LIB 2 parsing library for Objective Caml
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- License
- APACHE20
- Categories
- devel
- Package size
- 2519.8 KiB, 13056.5 KiB installed
Description
Psmt2-frontend provides the parser for the SMT-LIB 2 syntax extended with prenex polymoprhisme which is used by the Alt-Ergo Theorem Prover.
In the other systems
The newest version among them is 0.4.0, as upstream numbers it.
| System | Port | Version | Vulnerabilities | Status | Maintainer | Last update |
|---|---|---|---|---|---|---|
| DragonFly | devel/ocaml-psmt2-frontend | 0.4.0 newest | none known | - | [email protected] | - |
| FreeBSD | devel/ocaml-psmt2-frontend | 0.4.0 newest | none known | - | [email protected] | - |
| GhostBSD | devel/ocaml-psmt2-frontend | 0.4.0 newest | no data | - | [email protected] | - |
Install
Binary package:
pkg install ocaml-psmt2-frontendFrom DPorts:
cd /usr/dports/devel/ocaml-psmt2-frontend && make install cleanDependency graph
Ports that need it on the left, what it needs to run on the right; at most 8 of each. "Dependencies" below lists them all.