INI data reader

INI data reader#

galactic-io-data-ini [1] [2] is an INI data reader plugin for GALACTIC.

GALACTIC stands for GAlois LAttices, Concept Theory, Implicational systems and Closures.

The file extension is .ini. The individuals are represented in named sections by key = “value” pairs. For example:

[#1]
name = "Galois"
firstname = "Évariste"
[#2]
name = "Wille"
firstname = "Rudolf"

This reader uses the configparser.ConfigParser class of the python core library.

Indices and tables#