sybila/biodivine-hctl-model-checker

Issues

• Refactoring

  #16 opened 6 months ago by ondrej33
  2

• Merge arguments for "raw sets" for wild-card properties and variable domains

  #18 opened 6 months ago by ondrej33
  1

• Extend the tool to support the latest functionality of the library

  #15 opened a year ago by ondrej33
  1

• Add short manual with examples

  #14 opened a year ago by ondrej33
  0

• Unify the "display" format and "parse" format for `HctlTreeNode`

  #10 opened a year ago by daemontus
  1

• Sanitization requires a `BooleanNetwork`

  #13 opened a year ago by daemontus
  1

• Add heuristic for ordering formulae during computation

  #11 opened a year ago by ondrej33
  1

• Allow "raw sets" as atomic propositions/subformulae

  #8 opened a year ago by daemontus
  1

• Sanitization/desanitization of BDD

  #5 opened a year ago by daemontus
  1