MKAtoms Download Page
MKAtoms is a utility designed to reformat the output of smodels,
in order to put one atom per line. Additionally, it strips off all
statistics. Models are separated by a line containing the word
"::endmodel".
Major new features of MKAtoms 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). [appeared in version 1.9]
-
MKAtoms has the ability to auto-detect and process the output of dlv.
[appeared in version 2.0]
-
MKAtoms has the ability to auto-detect and process the output of cmodels.
[appeared in version 2.2]
The latest version of MKAtoms is 2.6. It is available for
download from the links below.
Click here for a list of changes to MKAtoms.
You can find installation and usage instructions in the
Readme file.
Downloads
MKAtoms is distributed under the GNU Public License.
Back to my home page
Author: Marcello Balduccini (marcello.balduccini@ttu.edu)
Last Update: 06/21/2005