This file is part of AISC 2010 - How to correctly prune tropical trees - Case study
Copyright (C) 2010 Jean-Vincent Loddo
Copyright (C) 2010 Luca Saiu

This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 2 of the License, or
(at your option) any later version.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with this program.  If not, see <http://www.gnu.org/licenses/>.

Compilation
===========
Just:
$ make

Example of usage
================

For parsing an expression with, by default, tropical pruning, FM,
and memoization:

$ _build/parse "let x = 84 = 42 = 21 in 1 + 2 * 3"
$ _build/parse -p AM "let x = 84 = 42 = 21 in 1 + 2 * 3"
$ _build/parse --no-memoization "let x = 84 = 42 = 21 in 1 + 2 * 3"

For comparing tropical pruning vs exhaustive searching:

$ _build/parse_comparison "let x = 84 = 42 = 21 in 1 + 2 * 3"

Notice that parse_comparison cannot be used with big inputs: exhaustive
search is not practical because of its exponential complexity.

The list of available options of "parse" may be simply obtained
calling with any input:
$ _build/parse
