<!-- markdownlint-disable -->

<a href="../../../../../apps/utilities/pracciolini/src/ftap.py#L0"><img align="right" style="float:right;" src="https://img.shields.io/badge/-source-cccccc?style=flat-square"></a>

<kbd>module</kbd> ftap

FTAP (.ftp) reader and writer for pracciolini, pivoting through PBF bytes.

write() emits And, Or, and k-of-n gate rows and rejects models containing Not, Xor, Nand, or Nor gates. read() parses FTAP into a PBF model, turning negated operands into synthetic Not gates and numeric operators into AtLeast gates.

---

<a href="../../../../../apps/utilities/pracciolini/src/ftap.py#L16"><img align="right" style="float:right;" src="https://img.shields.io/badge/-source-cccccc?style=flat-square"></a>

<kbd>function</kbd> write

write(data: 'bytes', path: 'str') → None

---

<a href="../../../../../apps/utilities/pracciolini/src/ftap.py#L76"><img align="right" style="float:right;" src="https://img.shields.io/badge/-source-cccccc?style=flat-square"></a>

<kbd>function</kbd> read

read(path: 'str') → bytes