package psmt2-frontend

You can search for identifiers within the package.

in-package search v0.2.0

The psmt2-frontend project

Install

Dune Dependency

github.com Readme Changelog Apache-2.0 License Edit opam file Versions (5)

Authors

A

Albin Coquereau

Maintainers

A

Albin Coquereau

Sources

sha256=a6008f2f1c288285bb76bc75bede9fb1a4aabff504a57b64229a7d6aa8b8547c

md5=ea2264655eae4b5722c127ecfc4a126a

LICENSE.md.html

LICENSE.md

Copyright (c) 2020 Albin Coquereau

This software is distributed under license "Apache-2.0".