**   History
**  ~~~~~~~~~
**   02/15/24 - [2.20]handle separate-line assignments in clasp.
**   09/09/23 - [2.19]better handling of temp folder.
**   05/26/20 - [2.18]command line option "-x" added.
**   06/28/16 - [2.16]map -f to neg(f) when using -m -a.
**   01/04/16 - [2.15]fixed handling of escaped double quotes.
**   06/20/13 - [2.14]fixed problem with dlv and multiple models.
**   01/16/13 - [2.13]added support for optimal answer sets output
**                    by clingof.
**   06/16/11 - [2.12]mkatoms can now be cross-compiled for Windows
**                    under mingw32.
**   03/23/11 - [2.11]added support for optimal answer sets output
**                    by clasp.
**   06/10/10 - [2.10]fixed bug that causes mkatoms to crash under
**                    MacOS.
**   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