# Approximation Fixpoint Theory x Hybrid MKNF KBs

- AST.py
    - Parse a knowledge base (examples in knowledge_bases)
- aft.py
    - A stable revision operator
- solver.py
    - A naive, enumerative solver that finds partial stable models