Release of pyboolnet 3

[hklarner]

Hello everyone,

this is the first release of pyboolnet 3. It features:

• conforms to PEP-8
• type hints
• logging instead of printing
• command line tool

$ pyboolnet -h
$ pyboolnet check-dependencies
$ pyboolnet trap-spaces --type min grieco_mapk.bnet

I could not prevent myself from renaming some modules and some functions. I hope overall the structure is clearer now and better suited for future developers. But it also means that your scripts will need to be migrated to pyboolnet 3.

examples:

• AspSolver.py is renamed to trap_spaces.py
• the six model checking functions in ModelChecking.py are replaced by only two functions in model_checking.py

I have added a migration guide that will be filled by issues that you raise. So please raise issues if you experience difficulties with the migration to pyboolnet 3.

• pyboolnet/MIGRATION_GUIDE.md
• pyboolnet/issues

Next, I will work on migrating the documentation.

Please let me know what you think and keep raising issues if you face problems or have suggestions.

best,
Hannes.