============================================================================ This directory contains 1-safe nets and smodels programs generated from them ============================================================================ This directory contains the following files: ASP2001-experiments.tar.gz - The 1-safe nets (in PEP) format, and the smodels programs which correspond to the bounded model checking translations of these programs Unfortunately the boundsmodels tool is not yet ready for release, so if you need other translations, don't hesitate to contact me. For more information, see the paper: Heljanko, K. and Niemelä, I.: Answer Set Programming and Bounded Model Checking. In Proceedings of the AAAI Spring 2001 Symposium on Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning, AAAI Press, Technical Report SS-01-01, pages 90-96, Stanford, USA, March 2001. Enjoy, Kepa -- Keijo.Heljanko@hut.fi Researcher Laboratory for Theoretical Computer Science Helsinki University of Technology Finland