forcamlaversion Documentation on ocaml.org

Organize program execution via formulae

Formulas are either terms or compound statements (terms combined with binary operators). Terms may be updated and then compound statements will reflect the changed updated terms. With this event listeners can be constructed that wait for formulas to be satisfied, changed, etc.

Tags mathematical programming formula event listeners
AuthorChristopher Sumnicht <csumnicht@berkeley.edu>
LicenseApache-2.0
Published
Homepagehttps://github.com/thyrgle/forcamla
Issue Trackerhttps://github.com/thyrgle/forcamla/issues
Documentationhttps://thyrgle.github.io/forcamla/
MaintainerChristopher Sumnicht <csumnicht@berkeley.edu>
Dependencies
Source [http] https://github.com/thyrgle/forcamla/archive/refs/tags/0.1.4.tar.gz
md5=f1e194bfcb3125d73f7518ff52e5eb57
sha512=e7382d37d08ed0544c504092d11ec1272221f53a0c128b5829d382e1651d690113ac800b03b3432ad094c1d275bae921513989d5232e12cbf8bdf3cb65dc75d4
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/forcamla/forcamla.0.1.4/opam
No package is dependent