package libabsolute

  1. Overview
  2. Docs
Libabsolute

Install

Dune Dependency

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

Authors

  1. M
    Marie Pelleau <marie.pelleau@i3s.unice.fr>
  2. G
    Ghiles Ziat <ghiles.ziat@lip6.fr>

Maintainers

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

Sources

0.2.tar.gz
md5=7fa3ddb22997078b47f517ada5f6cb96
sha512=43aff8a0f05022b90ff89f0b2feacdc829e9e6da9be88f802254aff383823b2d8f3dc4e3a694a9d534493d3e60b8a98de9c45a4690c3275b58a6a9dba476e133

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)