**   History
**  ~~~~~~~~~
**   05/04/09 - [2.9] command line option "-n" added.
**   07/30/08 - [2.8] ability to output a single "meta-model" added.
**                    The meta-model is encoded by atoms of the form
**                                 holds_in(l,k)
**                    where l is a literal from the (actual) model
**                    and k is the 1-based index of the model.
**   07/30/08 - [2.7] support added for clasp.
**   06/21/05 - [2.6] support added for constants in double quotes.
**   01/02/05 - [2.5] end-of-atom detection corrected when parsing
**		      dlv output (could create problems with large
**		      files).
**   03/09/04 - [2.4] auto-detection of cr/cr-lf disabled if table
**		      generation is not requested.
**   05/12/03 - [2.3] input checking made more robust.
**   04/15/02 - [2.2] added ability to handle cmodels output. The type
**   		      of the file (smodels/dlv/cmodels) is *still*
**   		      auto-detected.
**   08/19/02 - [2.1] fixed bug with dlv detection (thanks Greg)
**   08/13/02 - [2.0] added ability to handle dlv output. The type of
**   		      the file (smodels/dlv) is auto-detected.
**   08/07/02 - [1.9] fixed bug in the handling of models longer than
** 		      clen chars.
**		      Added -a option.
**   02/06/02 - [1.8] introduced auto-configuration using "configure.in"
**   02/06/02 - [1.7] use of mkstemp() made compatible with BSD 4.3
**   08/29/01 - [1.6] First public release
**   05/18/00 - removed ftell() so mkatoms works with pipes.
**		Auto-detection of cr/cr-lf
**   06/11/99 - First version