VanDulti/planning-problem-solver

This is a simple planning problem solver that encodes a bounded planning problem as propositional logic and uses https://fmv.jku.at/limboole/ to solve it. I did this for my formal models class.

C#