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.