issues
search
VeriFIT
/
nfa-bench
Collected list of benchmarks for evaluating automata supporting non-deterministic finite automata in .mata format
0
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update readme
#13
tfiedor
closed
10 months ago
0
Add cox/ere programs
#12
tfiedor
closed
1 year ago
0
Noodler: more automata
#11
vhavlena
closed
1 year ago
0
Fix missing initials
#10
tfiedor
closed
1 year ago
0
Merge transitions
#9
tfiedor
closed
1 year ago
0
Add bitvector presburger and fix minor issue in some benchmarks
#8
tfiedor
closed
1 year ago
0
Noodler: big automata for complement
#7
vhavlena
closed
1 year ago
0
README: add short explanation of the presburger
#6
tfiedor
closed
1 year ago
0
Simplify benchmarks
#5
jurajsic
closed
1 year ago
2
add NFAs from deciding Presburger arithmetic
#4
MichalHe
closed
1 year ago
2
Automata for complementation from `z3-noodler`
#3
vhavlena
closed
1 year ago
3
Flatten the directory structure
#2
tfiedor
closed
1 year ago
1
Flatten the directory structure
#1
vhavlena
closed
1 year ago
2