The aim of this project is to provide SAT solvers and related products to be easily embedded in Java software. The softwares found here are part of former research projects that are no longer under development but that are made available here because
Categories
Scientific/EngineeringLicense
GNU Library or Lesser General Public License version 2.0 (LGPLv2)Follow Satisfiability related libraries in Java
You Might Also Like
ProcureDesk is an integrated purchasing and invoicing platform tailored to help small to medium sized businesses streamline their procurement processes. This user-friendly system automates workflows and consolidates purchasing data into a centralized dashboard, allowing companies to control spending and enhance transparency efficiently. Features like automated invoice matching, simple requisition creation, and immediate cash flow insights minimize manual tasks and boost operational efficiency. ProcureDesk is perfect for smaller enterprises leveraging big-business strategies to reduce costs and optimize their purchasing activities. Discover how ProcureDesk can transform your procurement process into a more effective and manageable part of your business.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Satisfiability related libraries in Java!