Skip to content

0.6: CEGAR-based trapspace reprogramming
Compare
Choose a tag to compare
@pauleve pauleve released this 28 Nov 09:13
· 13 commits to master since this release
v0.6.0
4b05330

New features:

  • bonesis.reprogramming.marker_reprogramming uses new CEGAR-based implementation (http://arxiv.org/abs/2305.02442). The other implementation is still available using the algorithm="complementary" option.
    bonesis.reprogramming.trapspace_reprogramming is an alias.
  • InfluenceGraph: option exact="unsigned" allows enforcing that the Boolean networks use all the interactions of the influence graph with unsigned edges c632b3a

Bug fixes:

  • non_reach constraint in mutant contexts
Assets 2