search

VeriFIT / mata

A fast and simple automata library
MIT License
14 stars 11 forks source link

Update nfa-bench #368

Closed Adda0 closed 9 months ago

Adda0 commented 9 months ago

This PR updates submodule nfa-bench.