Home

LogicNG Documentation

Currently we are working on an extensive documentation of LogicNG and its features. Over the course of the next weeks and months we will successively add chapters to the documentation and keep track of it on this top level page. During this phase, expect some broken links until all chapters are present.

Also: feedback is very welcome! If you have specific questions or suggestions for the documentation, never hesitate to open an issue :)

2022-03-03

• The Formula Factory
• Formulas

2022-03-11

• Formula Functions
• Formula Predicates