open source constraint-based modeling tool