Package org.colomoto.biolqm.tool.attractor

Identification of the stable states of a logical model.

See: Description

Class Summary

Class	Description
AttractorService	Identification of synchronous attractors using a SAT solver, as proposed by E.
SATAttractorFinder	Identification of synchronous attractors using a SAT solver, as proposed by E.

Package org.colomoto.biolqm.tool.attractor Description

Identification of the stable states of a logical model.