Skip to content

daemontus/tsconj

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

5 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming

This repository provides tsconj. A Python package for scalable enumeration of minimal and maximal trap spaces of Boolean networks.

Installation

The package can be installed using pip. First, download the contents of this repository and navigate to the repository root. Then execute pip install ..

Usage

In the folder examples, we provide two simple scripts showcasing the use of tsconj:

python3 examples/max_traps.py 0 examples/model.bnet
# Should output:
# -----------------0----------

python3 examples/min_traps.py 0 examples/model.bnet
# Should output:
# 000000-000000000000000000000

About

Python package for enumeration of minimal/maximal trap spaces

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages