Pinned Loading

1. AI-Planning/pddl AI-Planning/pddl Public

   Unquestionable PDDL 3.1 parser

   Python 157 39

2. whitemech/pythomata whitemech/pythomata Public

   A Python package for automata theory.

   Python 59 8

3. bancaditalia/black-it bancaditalia/black-it Public

   Black-box abm calibration kit by the Bank of Italy

   Python 58 1

4. whitemech/lydia whitemech/lydia Public

   A tool for LDLf translation to DFA and for LDLf synthesis.

   C++ 23 7

5. whitemech/pylogics whitemech/pylogics Public

   A Python library for logic formalisms representation and manipulation.

   Python 16 5

6. whitemech/logaut whitemech/logaut Public

   LOGics formalisms to AUTomata

   Python 11 2