From: Kim Nguyễn <kim.nguyen@lri.fr>
Date: Wed, 12 Oct 2016 15:44:32 +0000 (+0200)
Subject: Simplify the automaton encoding a bit (remove redundant predicates in formulae).
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=fe2ba1820282783ae8c10fbbbd2b65d3dc4c67f2;hp=fe2ba1820282783ae8c10fbbbd2b65d3dc4c67f2

Simplify the automaton encoding a bit (remove redundant predicates in formulae).
---