Document release process

Java API for checking, manipulating and translating SMTLIB

Brought to you by: davidcok

#2 Document release process

Milestone: 1.0

Status: open

Owner: nobody

Labels: None

Updated: 2014-03-23

Created: 2014-03-23

Creator: David Cok

Private: No

Document running tests, building releases, pushing releases

Discussion

Log in to post a comment.