Skip to content

Latest commit

 

History

History
20 lines (13 loc) · 784 Bytes

README.md

File metadata and controls

20 lines (13 loc) · 784 Bytes
Raw

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.