The SYNBADm manual v02062016 is available <here>.
The SYNBADm toolbox is described in:
Otero-Muras, I., D. Henriques and J. R. Banga (2016) SYNBADm: a tool for Optimization-based Automated Design of Synthetic Gene Circuits. Bioinformatics, btw415 (link)
The methodology used in SYNBADm is described in following paper:
Otero-Muras, I. and J. R. Banga (2014) Multicriteria global optimization for biocircuit design. BMC Systems Biology 8:113 (link)