forcamlaversion Documentation on ocaml.org
Organize program execution via formulae
Formulas are either terms or compound statements (terms combined with binary operators). Non-constant 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 |
|---|---|
| Author | Christopher Sumnicht <csumnicht@berkeley.edu> |
| License | Apache-2.0 |
| Published | |
| Homepage | https://github.com/thyrgle/forcamla |
| Issue Tracker | https://github.com/thyrgle/forcamla/issues |
| Documentation | https://rxdt-labs.github.io/forcamla/ |
| Maintainer | Christopher Sumnicht <csumnicht@berkeley.edu> |
| Dependencies | |
| Source [http] | https://github.com/rxdt-labs/forcamla/archive/refs/tags/0.4.0.tar.gz md5=f4665993b6a1fa48b7af8bdd98f2851f sha512=aba9743063550db3f0472520d14315c8d541b3f7871caa2f85cd3840e322a6d3050ccd72bd8973c40490bb268d1ccc9bb73647fbc71ba1cb1e8fb23a505f91f8 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/forcamla/forcamla.0.4.0/opam |
No package is dependent
