Scarabio
A SAT-based Elementary Mode Analysis Solver.

Overview

  • Scarabio is a Domain-Specific Language in Scala for the Analysis of Metabolic Pathways and is also a SAT-based Elementary Mode Analysis Solver.

Example

import jp.kobe_u.scarabio._

val p = Pathway()

p.add(None ==> 'A as "R1")
p.add('P ==> None as "R2")
p.add('E ==> None as "R3")
p.add('A ==> 'B as "R4")
p.add('A ==> 'C as "R5")
p.add('A ==> 'D as "R6")
p.add('B <=> 'C as "R7")
p.add('B ==> 'P as "R8")
p.add('C + 'D ==> 'E + 'P as "R9")
p.add('D ==> None as "R10")

val esol = EmSolver(p)
esol.findEM()

Download

Author: Takehide Soh

Created: 2018-10-15 月 17:09

Validate