LogicNG

The Next Generation Logic Library

Pinned Repositories

logic-ng/LogicNG
The Next Generation Logic Library
Language:Java140 14 3626
logic-ng/logic-ng.github.io
Source Code of the LogicNG Website
Language:HTML1 2 01
logic-ng/parser
The ANTLR formula parser for LogicNG
Language:Java1 2 00
logic-ng/LogicNG16
LogicNG for Java 1.6
Language:Java00
logic-ng/serialization
Serialization Library for LogicNG
Language:Java00