|
|
August 13th, 2002
MKAtoms reaches version 2.0
|
MKAtoms is a utility that re-formats the output
of smodels and dlv, in order to have only one atom
per line. New features that were added in the
last two versions are:
-
models can be optionally output in a format that makes them suitable
for use in A-Prolog programs (each line is terminated by a period and
the endmodel marker is %%endmodel).
-
the ability to auto-detect and process the output of dlv.
MKAtoms can be downloaded from:
http://krlab.cs.ttu.edu/~marcy/mkatoms
|
|
