INI data reader
galactic-io-data-ini is an INI data reader plugin for GALACTIC.
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.
GALACTIC [1] [2] stands for GAlois LAttices, Concept Theory, Implicational systems and Closures.