PyPI page
Home page
Author:
License:
Copyright (c) 2022 University of Antwerp, Belgium & LaBRI, University of Bordeaux, France Ritam Raha <ritam.raha18@gmail.com> Permission is hereby granted, free of charge, to any person obtaining a c...
Summary:
A package for learning LTL formulas from a sample consisting of traces partitioned into positive and negative
Latest version:
0.0.4
Required dependencies:
graphviz
|
lark
|
ltlf2dfa
Downloads last day:
0
Downloads last week:
10
Downloads last month:
38