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/rxdt-labs/forcamla/archive/refs/tags/0.3.0.tar.gz
md5=e90c258cbe6e4f4de4ff423dc1351533
sha512=f9f47f135bb776910a2cbe54b7c26824739135884fe3b3549ccceac9819a1c3255e2608cc5b0621f1a47277f8c47ec209757b5bb14dba0cae0eaece6642740ba
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/forcamla/forcamla.0.3.0/opam
No package is dependent