Skip to content

Introduction

Jump to bottom Edit New page
Alessio Cecconi edited this page Nov 23, 2020 · 1 revision

WIP

The reasoning cores rely on Finite State Automata, thus language independent, yet only DECLARE declarative language is currently supported.

Contents

Contents

Clone this wiki locally