/logic-app

A generic logic parsing application

Primary LanguageJava

CAIR Logic Platform

Main workflow

Purpose

The goal of this repo is to provide a platform for generic logic operations (checking for consistency, validity, explanations, etc.) by way of an easy-to-use DSL.

Mission

The purpose is achieved by way of three parts:

  • The DSL specification and generator (za.org.cair.logic_app)
  • An IDE plugin (za.org.cair.logic_app.ide) (Not implemented)
  • A webapp editor (za.org.cair.logic_app.web)

Usage

See the wiki entry.

More info

See the wiki.