Metadata-Version: 2.4
Name: smtconfig
Version: 1.0.2
Summary: Declarative SMT-based configuration system built on top of Z3
Author: Nikolai Krivoshchapov
License: BSD 3-Clause License
Requires-Python: >=3.9
Description-Content-Type: text/markdown
License-File: LICENSE
Requires-Dist: z3-solver
Requires-Dist: pydantic
Requires-Dist: networkx
Requires-Dist: pandas
Requires-Dist: rich
Requires-Dist: textual
Requires-Dist: icecream
Dynamic: license-file

## SMTConfig

Configuration validation and completion using z3 solver.

### Installation

```
pip install smtconfig
```

### Example

[see here](https://gitlab.com/knvvv/smtconfig/-/blob/master/example.py)
