package libabsolute

You can search for identifiers within the package.

in-package search v0.2.0

Libabsolute

Install

Dune Dependency

github.com Readme Edit opam file Versions (1)

Authors

Maintainers

M

Marie Pelleau <marie.pelleau@i3s.unice.fr>

Sources

md5=7fa3ddb22997078b47f517ada5f6cb96

sha512=43aff8a0f05022b90ff89f0b2feacdc829e9e6da9be88f802254aff383823b2d8f3dc4e3a694a9d534493d3e60b8a98de9c45a4690c3275b58a6a9dba476e133

doc/index.html

libabsolute

API

Library libabsolute

Libabsolute Libabsolute is a constraint solving library based on abstract domains

On This Page

API
1. Library libabsolute