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/?a=commitdiff_plain;ds=sidebyside;h=e3ad6d6f098809af95ddaf8b1e9bc4ec5cb7b0f4;hp=e3ad6d6f098809af95ddaf8b1e9bc4ec5cb7b0f4;p=tatoo.git

Implement automaton simplification.
---