README: publication update

VeriFIT / mata

A fast and simple automata library

MIT License

23 stars 13 forks source link

README: publication update #430

Closed vhavlena closed 3 months ago

vhavlena commented 3 months ago

Reference to the TACAS'24 paper.

vhavlena commented 3 months ago

@jurajsic Juraj, there are two remaining items in the issue #319 . Can you explain what do you mean by that? I want to finish it off.

jurajsic commented 3 months ago

@jurajsic Juraj, there are two remaining items in the issue #319 . Can you explain what do you mean by that? I want to finish it off.

graphviz - mention why it is needed in readme, that it is used for showing automata (in the building of python binding, also it is weird we use apt-get, it should be buildable also on mac)

The coverage - see #142

Adda0 commented 3 months ago

I will merge this PR and the remaining issues can be resolved in another PR.