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=82d3d69d3009b641c34afe4e4c92b7e900ff459884dc9595ac4463297e0da7a1

doc/LICENSE.html

Copyright (c) 2020 Albin Coquereau

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