jSMTLIB - Browse Files at SourceForge.net

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size
jSMTLIB.tar.gz	2015-06-24	578.8 kB
README	2015-06-24	182 Bytes
jSMTLIBUserGuide.pdf	2014-03-24	209.4 kB
Totals: 3 Items		788.4 kB

The main jSMTLIB site is at jsmtlib.sourceforge.net
The Eclipse update site is: jsmtlib.sourceforge.net/jsmtlib-updatesite
Some files are mirrored here.
The current version is 0.9.7

Source: README, updated 2015-06-24

You Might Also Like

Red Hat Enterprise Linux on Microsoft Azure

Deploy Red Hat Enterprise Linux on Microsoft Azure for a secure, reliable, and scalable cloud environment, fully integrated with Microsoft services.

Red Hat Enterprise Linux (RHEL) on Microsoft Azure provides a secure, reliable, and flexible foundation for your cloud infrastructure. Red Hat Enterprise Linux on Microsoft Azure is ideal for enterprises seeking to enhance their cloud environment with seamless integration, consistent performance, and comprehensive support.

Learn More

Top-Rated Free CRM Software

216,000+ customers in over 135 countries grow their businesses with HubSpot

HubSpot is an AI-powered customer platform with all the software, integrations, and resources you need to connect your marketing, sales, and customer service. HubSpot's connected platform enables you to grow your business faster by focusing on what matters most: your customers.

Get started free

Recommended Projects

Java Modeling Language (JML)
This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with binary downloads from https://github.com/OpenJML/OpenJML/releases/latest
LaTeX to RTF converter
LaTeX to RTF convertor that handles equations, figures, and cross-refe
TortoiseSVN
An Apache SVN client, right where you need it most

jSMTLIB Files

Java API for checking, manipulating and translating SMTLIB