This is stars and forks stats for /VeriFIT/nfa-bench repository. As of 03 May, 2024 this repository has 0 stars and 1 forks.
Extensive benchmark for reasoning about regular properties This repository contains benchmark automata that can be used to evaluate libraries accepting non-deterministic finite automata in .mata format. Usage Similarly, to use .mata files you will need either some format converter or parser of either of the formats. File formats .mata is our own format (see AUTOMATAFORMAT.md) for various types of automata (AFA, NFA, DFA ,etc.) Benchmark description b-smt contains 330 string constraints from the Norn...
Extensive benchmark for reasoning about regular properties This repository contains benchmark automata that can be used to evaluate libraries accepting non-deterministic finite automata in .mata format. Usage Similarly, to use .mata files you will need either some format converter or parser of either of the formats. File formats .mata is our own format (see AUTOMATAFORMAT.md) for various types of automata (AFA, NFA, DFA ,etc.) Benchmark description b-smt contains 330 string constraints from the Norn...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
jotape04/projeto-infrahard | VerilogVHDLStata | 0 | 0 | 1 | 0 |
pmendozap/DL_II_23_ejemplos | SystemVerilogStata | 1 | 0 | 0 | 0 |
dveenman/stataguide | Stata | 29 | 0 | 7 | 0 |
leojahrens/fedistr | StataTeX | 23 | 0 | 0 | 0 |