sybila

Popular repositories Loading

1. presentation-template Public

   Simple presentation template.

   TeX 26 8

2. huctl Public

   HUCTLp is a temporal logic (based on CTL) designed for analysis of dynamical systems. This repository provides a format for representing HUCTLp formulas as text and as JVM objects.

   Kotlin 4

3. biodivine-lib-bdd Public

   A small library for BDD manipulation in Rust. Part of the BioDivine toolset.

   Rust 4 2

4. biodivine-boolean-models Public

   A collection of 140+ Boolean networks from various sources useful for benchmarking or testing.

   TeX 4 1

5. parasim Public

   Tool for paralell simulations and verification

   Java 3 1

6. LTL-editor Public

   Graphical editor for visual specification of LTL properties based on time series.

   Java 2 1