# 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