Minimizing Acyclic DFAs

#include <astl.h>
#include <dfa.h>
#include <minimize.h>

int main()
{
  DFA_matrix<plain, minimization_tag> A;
  // Construction...
  acyclic_minimization(A);
}