Datafiles is a bidirectional serialization library for Python dataclasses to synchronize objects to the filesystem using type annotations. It supports a variety of file formats with round-trip ...

Python version of tools to work with AIG formatted files This code is adapted from the work of the Johannes Kepler University, Linz. There are two versions of the code here. One is a standard py file.