search

sybila / biodivine-sketchbook

Biodivine SketchBook is a multi-platform application for designing and analysing large-scale logical models.
MIT License
0 stars 1 forks source link

Properties and assertions tab for sketch editor #9

Open daemontus opened 1 year ago

daemontus commented 1 year ago

Properties and assertions are either static (first-order logic) or dynamic (HTCL). There are some pre-defined property templates, plus some properties arise directly from the regulatory network.

ondrej33 commented 1 week ago

The support for the properties was gradually added in multiple PRs (#36, #48, #49, #50 and #53). That should cover the initial releasable version of Properties tab and their evaluation during inference.

As a follow-up, we could still try to think of some more useful template properties.