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.

Project Samples

Stepping: Debugging Answer-Set Programs in SeaLion

Kara: Visualisation of Answer Sets in SeaLion

Project Activity

See All Activity >

License

GNU General Public License version 3.0 (GPLv3)

Follow sealion

sealion Web Site

Other Useful Business Software

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Rate This Project

User Ratings

5.0 out of 5 stars

★★★★★

★★★★

★★★

★★

★

ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

User Reviews

Filter Reviews:

All

dryeti Posted 2011-02-16

I really do!

Additional Project Details

Intended Audience

Developers

User Interface

Java SWT

Registered

2009-08-01

Similar Business Software

Visual Visitor

AI Sales Rep with Person-Level Website Identification Identify and Influence Your Engaged Website Visitors into Sales-Ready Leads – Before You Commit a Single Working Hour. Lower Funnel, Higher Value Leads Using our advanced WebID +Person identification technology, we uncover and identify...

See Software
Coursebox AI

Transform your content into engaging eLearning experiences with Coursebox, the #1 AI-powered eLearning authoring tool. Our platform automates the course creation process, allowing you to design a structured course in seconds. Simply make edits, add any missing elements, and your course is ready...

See Software
Parasoft

"Parasoft delivers an AI‑powered software testing platform that helps organizations continuously release high‑quality software. Our solutions support embedded and enterprise teams by integrating code analysis, testing, virtualization, and coverage into the delivery pipeline to improve security,...

See Software
Apify

Apify is a full-stack web scraping and automation platform helping anyone get value from the web. At its core is Apify Store, a marketplace with over 10,000 Actors where developers build, publish, and monetize automation tools. Actors are serverless cloud programs that extract data, automate...

See Software
Flagsmith

Flagsmith is a fully supported open-source feature flag, remote config, and A/B testing service. Use our hosted API, deploy to your own private cloud, or run on-premises. Create and manage feature flags across web, mobile, and server-side applications. Wrap a section of code with a flag, and...

See Software
Pipefy

Pipefy is the AI-driven Business Orchestration and Automation Technologies (BOAT) platform that delivers enterprise results in days, not months. Designed as a secure orchestration layer, Pipefy bridges the gap between rigid legacy systems (ERPs/CRMs) and agile business needs. It allows IT...

See Software