package absolute

Overview
Docs

You can search for identifiers within the package.

in-package search v0.2.0

AbSolute solver

Install

Dune Dependency

github.com Readme Changelog LGPL-3.0-or-later License Edit opam file Versions (3)

Authors

M

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

Ghiles Ziat <ghiles.ziat@epita.fr>

Maintainers

M

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

Sources

0.3.tar.gz

md5=0dcb117b36b1afc68ba2c57186f6d04e

sha512=efcb9bf2a7fb5c62a00b35e5427064af65208186be0a6d343ac56206d5466951ef4593db04dc412987a11018f75d2952d4ab0e2384f588befaa50c8e1921133f

CHANGES.txt.html

CHANGES.txt

- Add the executable memabsolute, which compiles a instrumented version of the solver
- use of Picasso.show
- add convex primitive in parser 
- add Dom, Expr and Constraint modules
- add .opam for library
- add examples using library
- massive documentation of library
- split sources into lib + solver
- add uniontree combinator
- remove vpl dependency
- parsers cleaning

v0.1 (21 Oct 2020)