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.2.0.tar.gz
md5=55d48713129306960d43989b54742c16
sha512=6ee09f89a32d3dc9cc2f7cda0f713363ace88a9c28c1a6cbbe8d1893a805589ed511f5140deaddf2e9d77ce76de4ea676932289a1e10b2416169825287c28424
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/forcamla/forcamla.0.2.0/opam
No package is dependent