koksal/sbl

Experimental prototype code for "Synthesis of Biological Models from Mutation Experiments" in POPL 2013 (http://koksal.org/papers/KoksalETAL13SynthesisBiologicalModels.pdf)

语言：Scala · GitHub 星标：3 · Fork：2

在 GitHub 上查看原仓库