Add bitvector presburger and fix minor issue in some benchmarks

VeriFIT / nfa-bench

Collected list of benchmarks for evaluating automata supporting non-deterministic finite automata in .mata format

0 stars 1 forks source link

Closed tfiedor closed 1 year ago