sealion

mmdasp is intended to provide several tools for declarative program development and is linked to a scientific project that will be carried out at Vienna University of Technology.
Our main system is the SeaLion IDE for Answer-Set Programming. For more information on that visit our http://www.sealion.at website.

sealion Web Site