albertocasagrande/pyModelChecking albertocasagrande/pyModelChecking

  • Stars
    star
    56
  • Rank 528,419 (Top 11 %)
  • Language
    Python
  • License
    Other
  • Created over 9 years ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
albertocasagrande/pyModelChecking
github

albertocasagrande

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A Python model checking package

More Repositories

1

BinaryDecisionDiagrams

A Julia package for BDD and OBDD
Julia
12
star
2

AD_strassen_template

Some code to simplify the implementation and testing of the Strassen's algorithm for matrix multiplication.
C
4
star
3

AD_bin_heaps

A simple array-based implementation of binary heaps.
C
2
star
4

pyagree

A simple Python package to compute some inter-rater agreement measures
Python
1
star