Metadata-Version: 2.4
Name: dftlib
Version: 0.9.0
Summary: dftlib - Python library for dynamic fault tree analysis
Project-URL: Homepage, https://github.com/volkm/dftlib
Project-URL: Bug Tracker, https://github.com/volkm/dftlib/issues
Author-email: "M. Volk" <m.volk@tue.nl>
License-Expression: GPL-3.0-or-later
License-File: LICENSE
Classifier: Intended Audience :: Science/Research
Classifier: Topic :: Scientific/Engineering
Classifier: Topic :: Software Development :: Libraries :: Python Modules
Requires-Python: >=3.9
Provides-Extra: dev
Requires-Dist: black; extra == 'dev'
Provides-Extra: smt
Requires-Dist: z3-solver; extra == 'smt'
Provides-Extra: stormpy
Requires-Dist: stormpy>=1.9.0; extra == 'stormpy'
Provides-Extra: test
Requires-Dist: pytest; extra == 'test'
Description-Content-Type: text/markdown

dftlib - Python library for dynamic fault tree analysis
=======================================================

[![Build Status](https://github.com/volkm/dftlib/workflows/Build%20Test/badge.svg)](https://github.com/volkm/dftlib/actions)

### Main author:
- Matthias Volk

The development of dftlib received significant contributions from:
- Dustin Jungen
