FreeBSD.software
Home/devel/ocaml-psmt2-frontend

ocaml-psmt2-frontend

0.4.0

SMT-LIB 2 parsing library for Objective Caml

Psmt2-frontend provides the parser for the SMT-LIB 2 syntax extended with prenex polymoprhisme which is used by the Alt-Ergo Theorem Prover.

Origin: devel/ocaml-psmt2-frontend
Category: devel
Size: 12.6MiB
License: APACHE20
Maintainer: freebsd@dev.thsi.be
Dependencies: 1 packages
Required by: 1 packages
Website: github.com/ACoquereau/psmt2-frontend
$pkg install ocaml-psmt2-frontend

Dependencies (1)

ocaml

Required By (1 packages)

alt-ergo

More in devel

ruby33-gems3.7.2
Package management framework for the Ruby language
gettext-runtime0.26
GNU gettext runtime libraries and programs
glib2.84.4,2
Some useful routines of C programming (current stable version)
desktop-file-utils0.28
Couple of command line utilities for working with desktop entries
qt6-base6.10.1_1
Qt base (core, gui, widgets, network,...)
qt5-core5.15.18p109
Qt core non-graphical module (KDE patched)
rubygem-aws-sigv41.12.1
Amazon Web Services Signature Version 4 signing library
php84-pear1.10.17
PEAR framework for PHP
rubygem-aws-sdk-core3.240.0
AWS SDK for Ruby - Core
php82-pear1.10.17
PEAR framework for PHP