{"action":"published","release":{"url":"https://api.github.com/repos/dreal/biology/releases/1241443","assets_url":"https://api.github.com/repos/dreal/biology/releases/1241443/assets","upload_url":"https://uploads.github.com/repos/dreal/biology/releases/1241443/assets{?name}","html_url":"https://github.com/dreal/biology/releases/tag/v1.1","id":1241443,"tag_name":"v1.1","target_commitish":"master","name":"BioPSy v1.1","draft":false,"author":{"login":"shmarovfedor","id":4500261,"avatar_url":"https://avatars.githubusercontent.com/u/4500261?v=3","gravatar_id":"","url":"https://api.github.com/users/shmarovfedor","html_url":"https://github.com/shmarovfedor","followers_url":"https://api.github.com/users/shmarovfedor/followers","following_url":"https://api.github.com/users/shmarovfedor/following{/other_user}","gists_url":"https://api.github.com/users/shmarovfedor/gists{/gist_id}","starred_url":"https://api.github.com/users/shmarovfedor/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/shmarovfedor/subscriptions","organizations_url":"https://api.github.com/users/shmarovfedor/orgs","repos_url":"https://api.github.com/users/shmarovfedor/repos","events_url":"https://api.github.com/users/shmarovfedor/events{/privacy}","received_events_url":"https://api.github.com/users/shmarovfedor/received_events","type":"User","site_admin":false},"prerelease":false,"created_at":"2015-04-30T23:32:56Z","published_at":"2015-04-30T23:40:04Z","assets":[{"url":"https://api.github.com/repos/dreal/biology/releases/assets/556132","id":556132,"name":"BioPSy-v1.1-darwin.zip","label":null,"uploader":{"login":"shmarovfedor","id":4500261,"avatar_url":"https://avatars.githubusercontent.com/u/4500261?v=3","gravatar_id":"","url":"https://api.github.com/users/shmarovfedor","html_url":"https://github.com/shmarovfedor","followers_url":"https://api.github.com/users/shmarovfedor/followers","following_url":"https://api.github.com/users/shmarovfedor/following{/other_user}","gists_url":"https://api.github.com/users/shmarovfedor/gists{/gist_id}","starred_url":"https://api.github.com/users/shmarovfedor/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/shmarovfedor/subscriptions","organizations_url":"https://api.github.com/users/shmarovfedor/orgs","repos_url":"https://api.github.com/users/shmarovfedor/repos","events_url":"https://api.github.com/users/shmarovfedor/events{/privacy}","received_events_url":"https://api.github.com/users/shmarovfedor/received_events","type":"User","site_admin":false},"content_type":"application/zip","state":"uploaded","size":5047813,"download_count":0,"created_at":"2015-04-30T23:39:03Z","updated_at":"2015-04-30T23:40:04Z","browser_download_url":"https://github.com/dreal/biology/releases/download/v1.1/BioPSy-v1.1-darwin.zip"},{"url":"https://api.github.com/repos/dreal/biology/releases/assets/556131","id":556131,"name":"BioPSy-v1.1-linux.zip","label":null,"uploader":{"login":"shmarovfedor","id":4500261,"avatar_url":"https://avatars.githubusercontent.com/u/4500261?v=3","gravatar_id":"","url":"https://api.github.com/users/shmarovfedor","html_url":"https://github.com/shmarovfedor","followers_url":"https://api.github.com/users/shmarovfedor/followers","following_url":"https://api.github.com/users/shmarovfedor/following{/other_user}","gists_url":"https://api.github.com/users/shmarovfedor/gists{/gist_id}","starred_url":"https://api.github.com/users/shmarovfedor/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/shmarovfedor/subscriptions","organizations_url":"https://api.github.com/users/shmarovfedor/orgs","repos_url":"https://api.github.com/users/shmarovfedor/repos","events_url":"https://api.github.com/users/shmarovfedor/events{/privacy}","received_events_url":"https://api.github.com/users/shmarovfedor/received_events","type":"User","site_admin":false},"content_type":"application/zip","state":"uploaded","size":6223751,"download_count":0,"created_at":"2015-04-30T23:38:48Z","updated_at":"2015-04-30T23:40:04Z","browser_download_url":"https://github.com/dreal/biology/releases/download/v1.1/BioPSy-v1.1-linux.zip"}],"tarball_url":"https://api.github.com/repos/dreal/biology/tarball/v1.1","zipball_url":"https://api.github.com/repos/dreal/biology/zipball/v1.1","body":"BioPSy is a tool that performs parameter synthesis on biological models specified using the Systems Biology Markup Language (SBML) and corresponding time series data. BioPSy utilises the Satisfiability Modulo Theories (SMT) solver, dReal, to determine the range of acceptable parameter values within a given domain. A model using parameter sets computed with BioPSy is formally guaranteed to satisfy the desired behaviour.\r\n\r\nBioPSy is a Java application and requires [Java JRE 6 or higher](https://www.java.com) to run.  If you download the precompiled jar file with binaries, you'll need to change the permissions of the files\r\n```\r\nchmod a+rx dReal ParSyn\r\nchmod a+r BioPSy.jar\r\n```\r\n\r\nBioPSy can then be run by executing `java -jar BioPSy.jar`.\r\n\r\nAlternatively, BioPSy can be compiled by downloading the source, browsing to the BioPSy directory, and executing [ant](http://ant.apache.org/):\r\n\r\n```\r\ncd BioPSy\r\nant\r\n```\r\n\r\nThis will compile the application and produce a jar file in `BioPSy/bin`. To run BioPSy, execute `java -jar BioPSy.jar`."}}