MKAtoms Download Page
MKAtoms is a utility designed to reformat the output of various answer
set solvers to a common format that can be more easily processed.
Each line of the mkatoms output contains a single literal.
Models are separated by a line containing the word
"::endmodel". If no models are found, the line "*** no models found"
is displayed. All statistics and other lines output by the solver
are discarded. Command-line options are available to modify the
output format to simplify post-processing by Prolog or ASP programs.
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]
MKAtoms has the ability to auto-detect and process the output of clasp.
[appeared in version 2.7]
models can be optionally output as a single "meta-model".
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 where it occurs.
[appeared in version 2.8]
MKAtoms can process optimal answer sets generated by
clasp and clingof.
[appeared in version 2.14]
The latest version of MKAtoms is 2.16. 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
Back to my home page
Author: Marcello Balduccini (email@example.com)
Latest Update: 04/08/2018