Satisfiability related libraries in Java

inactive
Add a Review
1 Download (This Week)
Last Update:
Download openqbf.jar
Browse All Files
Windows Mac Linux

Description

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

Satisfiability related libraries in Java Web Site

KEEP ME UPDATED

Write a Review

User Reviews

Be the first to post a review of Satisfiability related libraries in Java!

Additional Project Details

Languages

English

Intended Audience

Science/Research

User Interface

Command-line

Programming Language

Java

Registered

2005-11-28
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.