Published June 12, 2024
| Version 2024-05
Software
Open
COLIBRI
Authors/Creators
Contributors
- 1. CEA LIST
Description
COLIBRI provides basic constraints for arithmetic operations and comparisons of various numeric types (integers, reals and floats).
Cast constraints are available for cast operations between these types.
COLIBRI also provides basic procedures allowing to instantiate variables in their domains making it possible to design specific labelling procedures.
Files
Files
(50.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:8dd03cc21e9e142757153546776038e9
|
50.9 MB | Download |
Additional details
Software
- Repository URL
- https://git.frama-c.com/pub/colibri
- Programming language
- Prolog , Tcl , OCaml
- Development Status
- Active