Bio-ModelChecker: Using Bounded Constraint Satisfaction to Seamlessly Integrate Observed Behavior with Prior Knowledge of Biological Networks
synthetic-biology constraint-programming constraint-satisfaction evolutionary-biology networks-biology multivalued-logic thomas-network multivalued-network learning-networks
-
Updated
Apr 10, 2019 - Python