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:

The latest version of MKAtoms is 2.20. 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.


Back to my home page
Author: Marcello Balduccini (
Latest Update: 02/15/2024