{"added":null,"apiVersion":1,"behindSince":null,"buildDepends":[],"categories":["devel"],"comment":"SMT-LIB 2 parsing library for Objective Caml","compare":null,"dependentCount":null,"description":"Psmt2-frontend provides the parser for the SMT-LIB 2 syntax extended\nwith prenex polymoprhisme which is used by the Alt-Ergo Theorem\nProver.","flavors":[],"html":"https://daemonports.org/dragonfly/devel/ocaml-psmt2-frontend/","kind":"port","lastUpdate":null,"license":["APACHE20"],"maintainer":"freebsd@dev.thsi.be","name":"ocaml-psmt2-frontend","newest":true,"newestVersion":"0.4.0","noVulnData":false,"origin":"devel/ocaml-psmt2-frontend","otherSystems":[{"maintainer":"freebsd@dev.thsi.be","newest":true,"origin":"devel/ocaml-psmt2-frontend","path":"/devel/ocaml-psmt2-frontend/","system":"FreeBSD","version":"0.4.0"},{"maintainer":"freebsd@dev.thsi.be","newest":true,"noVulnData":true,"origin":"devel/ocaml-psmt2-frontend","path":"","system":"GhostBSD","version":"0.4.0"}],"packages":null,"pkgName":"ocaml-psmt2-frontend-0.4.0","related":null,"repository":"DPorts","requiredBy":["math/alt-ergo"],"requiredByCount":1,"runDepends":["lang/ocaml"],"status":null,"system":"dragonfly","systemLabel":"DragonFly","version":"0.4.0","versions":null,"vulnerabilities":null,"www":"https://github.com/ACoquereau/psmt2-frontend"}