Any Windows Software - Shareware and Freeware Download Center for Windows

Top Downloads

New Downloads

Related Downloads

Recent Searches

Latest Reviews

  • Lodgit Desk Hotel Software for Mac   (Arnold)

    I run a small guest house in Nepal where this software is in use for last two years, we felt this is good enough for any...

  • XolidoSign   (Zico)

    Allows me to insert signature on any document automatically before dispatching, other software requires manual instruction.

  • Wurlie   (Tenesy)

    Make unlimited number of short urls with this script without knowing much about processes that take place in background.

  • Start Hotspot   (heltvet)

    You may turn your android phone to a wifi hotspot but your data may be misused unless you have some sort of control over...

  • NCheck Bio Attendance Trial for Windows   (Jeusme)

    The system is implemented in my office premises, it maintains the employees in and out time accurately, helps the accounts...

  • FirePlotter   (Kacper)

    Monitors all in-coming and outgoing traffic to your PC, also shows the consumed bandwidth to calculate internet bill.

  • FolderMill   (Fairyn)

    FolderMill is an automation software which looks for incoming files and send them to printer by filtering as per your...

  • DocuVieware   (Sigfrid)

    Fully featured document viewer which can be added in your page to load and read almost any type files, the software can...

  • Kiosk Software   (Emmerentiana)

    Restricts access to the public computers and kiosks to prevent changes or viruses from affecting it, hence you need no...

  • Vrode Script Editor   (Brochan)

    If you are a script coder you must have gone through some of the popular editors for writing new scripts or editing the...


Satisfiability related libraries in Java 1.0

 
Satisfiability related libraries in Java
Category: Utilities / Mac Utilities  
Author: sat4j.sourceforge.net | Published: Sep 03, 2012
License: Freeware | O/S: Windows/Mac/Linux
Uninstaller: no








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

File Size: 238.6 KB   Price: $0.00   Downloads: 0
Download Now! | Homepage | Report Link Error | Bookmark this page
Requirements:
User Rating: Unrated
Rate It:
Editor Rating: Unrated

Reviews:

Write a review:

Your rating *
1=poor                                                                          10=excellent
Your name *
Email
Review text *

 

Related Software

Java Extra Libraries 1.0

Published: Mar 20, 2012
Java Extra Libraries is a collection of Java Libraries useful to everyone from the beginners to advanced users.

Price: $0.00 Size: 137.0 KB More info Download

Dolphin Project 0.1.1

Published: Jul 25, 2012
The Dolphin Project is intended to be a research project aggregating tools related to Open Source Satisfiability Solver tools and tools related to them like Bounded Model Checkers and Software Verifiers.

Price: $0.00 Size: 101.8 KB More info Download




Java Extras 0.3

Published: Jun 17, 2012
Java Extras: Java programs, components, libraries etc.

Price: $0.00 Size: 62.5 KB More info Download

Java DNA: Building Blocks for Java 1.0

Published: Apr 10, 2012
A collection of Java programs/tools/libraries.

Price: $0.00 Size: 757.4 KB More info Download

Chilkat Class Libraries for Java 9.2.1

Published: Aug 15, 2012
The full suite of Chilkat components & libraries are now available for the Java programming language.

Price: $0.00 More info Download

Pyrasun Java Libraries 1.0

Published: Apr 26, 2012
The Pyrasun Libraries Project is a collection of high-performance Java libraries for use in both stand-alone and J2EE environments.

Price: $0.00 Size: 1.1 MB More info Download

Windows Azure Libraries for Java 0.1.2 December 2011 CTP

Published: Apr 21, 2012
The Windows Azure SDK for Java provides client libraries and tools to allow Java developers to quickly and easily create applications that run on Windows Azure or leverage Windows Azure services such as Windows Azure Storage or Service Bus.

Price: $0.00 More info Download

Open Java Libraries 0.1.0

Published: May 23, 2012
This project is meant to create a set of open libraries made with Java, and shared under the LGPL.

Price: $0.00 Size: 37.5 KB More info Download

JNative : Java to native interface 1.0

Published: Aug 24, 2012
This library allows developers to access native libraries (DLL and lib.

Price: $0.00 Size: 416.3 KB More info Download

Java Libraries (under GNU Lesser GPL) 1.0

Published: Jun 26, 2012
Collection of Java libraries, including Java classes, under the GNU Lesser General Public License.

Price: $0.00 Size: 128 B More info Download

Satisfiability related libraries in Java also mentioned on ShareMe

1.  Java Extra Libraries - Utilities/Mac Utilities
... Java Extra Libraries is a collection of Java Libraries useful to everyone from the beginners to advanced users. Include certificate managements, string utilities, SQL, Date class, Convertor, Command execution, etc. ...
 
2.  Dolphin Project - Utilities/Other Utilities
... The Dolphin Project is intended to be a research project aggregating tools related to Open Source Satisfiability Solver tools and tools related to them like Bounded Model Checkers and Software Verifiers. ...
 
3.  Java Extras - Utilities/Other Utilities
... Java Extras: Java programs, components, libraries etc. They range from simple Swing components to HTML Encoders to ASN.1 Encoding decoding libraries! ...
 
4.  Java DNA: Building Blocks for Java - Utilities/Mac Utilities
... A collection of Java programs/tools/libraries. Current Project is jdna-jig, a Java Image Gallery for creating static image galleries from the command line. ...
 
5.  Chilkat Class Libraries for Java - Programming/Components & Libraries
... The full suite of Chilkat components & libraries are now available for the Java programming language. Commercially licensed components include:Email (POP3 / SMTP) IMAP Zip, GZip, and Unix Compress Encryption MIME and S/MIME FTP HTTP MHT Charset Bounce Freeware components include:XML, Digital Certificates, Spider ...
 

a - b - c - d - e - f - g - h - i - j - k - l - m - n - o - p - q - r - s - t - u - v - w - x - y - z - #
© 1997-2015 ShareMe Last Update: Thursday, December 14, 2017 shareme | contact | notice | privacy | bookmark | link to us

Welcome to the ShareMe. Shareme is a dedicated internet portal bringing users the latest shareware & freeware from the world's best Software Authors. Shareme allows Shareware & Freeware Authors to submit their latest wares, so you the user are able to download their latest software updates all the time, after they are released! Always visit Shareme for your software needs.