1 Repositories
Java LogicNG Libraries
The Next Generation Logic Library
Introduction LogicNG is a Java Library for creating, manipulating and solving Boolean and Pseudo-Boolean formulas. It includes 100% Java implementatio
Nov 19, 2022
1 Repositories
Introduction LogicNG is a Java Library for creating, manipulating and solving Boolean and Pseudo-Boolean formulas. It includes 100% Java implementatio