Skip to content
Biology related models
Java
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
BioPSy
models
AUTHORS
COPYING
LICENSE
README.md

README.md

BioPSy

BioPSy is a tool that performs parameter set synthesis on biological models specified using the Systems Biology Markup Language (SBML) and corresponding time series data. BioPSy utilises the 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 and numerically guaranteed to satisfy the desired behaviour.

Download

The latest version of BioPSy including all required binaries can be downloaded from the releases page. BioPSy is a Java application and requires Java JRE 6 or higher to run.

BioPSy v1.2.1 is the stable release, it introduces several features and fixes many bugs.

How to Use BioPSy

Compiling from Source

You can’t perform that action at this time.