LogicNG
A Java library for creating, manipulating, and solving Boolean and Pseudo-Boolean formulas with a focus on memory efficiency and performance.
What is LogicNG?
LogicNG is a Java library for creating, manipulating, and solving Boolean and Pseudo-Boolean formulas. It provides pure Java implementations of popular SAT and pseudo-Boolean solvers like MiniSAT and Glucose, enabling efficient logic operations and solving. The library is designed to handle high-volume industrial applications, processing millions of formulas daily with a focus on memory efficiency and performance.
Java developers and engineers working on logic-based applications, such as configuration systems, automated reasoning, or industrial software requiring Boolean formula manipulation and solving. It is also suitable for researchers and practitioners in computational logic and SAT solving.
Developers choose LogicNG for its memory-efficient design, integrated solvers, and industrial-grade performance. Its unique formula factory approach minimizes object creation and caching, offering significant speed and memory advantages over other JVM logic libraries, making it ideal for scalable, high-throughput systems.
Overview
The Next Generation Logic Library
Use Cases
Best For
- Building configuration systems that require Boolean logic processing
Related Projects
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
