Home

Introduction to the jSMTLIB project

... enticing text

Organization of the jSMTLIB project

Location

The jSMTLIB project is hosted on github.

• The github project is at https://github.com/smtlib/jSMTLIB
• The project website is at http://smtlib.github.io/jSMTLIB/
• The project wiki (this page) is at https://github.com/smtlib/jSMTLIB/wiki

Repository organization

The jSMTLIB sources are organized as follows.

• The main repository is obtained by cloning: https://github.com/smtlib/jSMTLIB.git
• There are four branches: ** The gh_pages branch, which is only used to update the project website and should have no other material on it. Committing and pushing changes there will update the project web site. ** The release branch, which is only used for actual public releases. ** The master branch, which is for merges of stable, tested, material. ** The develop branch, which is for merges of material before merging to master; this branch may be unstable at any given time; most actual development should occur on local branches.

Code organization

The jSMTLIB source code is organized as a set of Eclipse projects (The gh-pages branch is not an Eclipse project).

• SMT - the source for the jSMTLIB library and tools
• SMTPlugin - the source for the Eclipse plugin for editing SMTLIB files
• SMTTests - functional and unit tests for the library
• SMTFeature - the Eclipse Feature for deploying the plugin
• SMTUpdateSite - the staging area for the Eclipse update site for installing the jSMTLIB plugin

Downloading and installing jSMTLIB