January 2nd, 2005 MKAtoms 2.5 is out A new version of MKAtoms, v. 2.5, is available for download. The new version fixes a bug that could prevent MKAtoms from properly processing dlv output files containing large models. MKAtoms can be downloaded from the Software page.

Back to Events page Back to KRLab Home