There are 0 repository under logic-solver topic.
Microsoft/InKnowWorks Graph Engine
a solver for standard logic puzzles