https://github.com/logic-ng/LogicNG
Java126
2 months ago
The Next Generation Logic Library
Apache License 2.0
