ggsolver v0.1.3

• "Added logic.pl module with simplify, evaluate, to_plformula and all_sat methods for PL formulas.",
• "Moved sigma method to Automaton class with default implementation.",
• "Fixed the representation of Automaton acceptance conditions.",
• "Added new module: automata, with DFA, Monitor, DBA, DCBA, DPA classes. Docs and example added.",
• "Automaton can be constructed by passing components (Q, AP, Trans, q0, F) to the constructor.",