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=06eff884b629ce30704d08fb4559e54812e8c234e6086da770ea693613fe9780

LICENSE.md.html

LICENSE.md

Copyright (c) 2020 Albin Coquereau

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