search

VeriFIT / mata

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

Nft inclusion #379

Closed koniksedy closed 4 months ago

koniksedy commented 4 months ago

Inclusion testing and equivalence checks on Nft automata have been implemented using the nft::get_one_level_atm method, followed by the call of inclusion/equivalence functions from Nfa.

Adda0 commented 4 months ago

I will try to figure out what fails on the MacOS.