From: Kim Nguyễn <kim.nguyen@lri.fr>
Date: Mon, 3 Apr 2017 09:17:25 +0000 (+0200)
Subject: Implement automaton simplification.
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=e3ad6d6f098809af95ddaf8b1e9bc4ec5cb7b0f4;hp=e3ad6d6f098809af95ddaf8b1e9bc4ec5cb7b0f4

Implement automaton simplification.
---