logic-solver
There are 3 repositories under logic-solver topic.
InKnowWorks/IKW-GraphEngine
Microsoft/InKnowWorks Graph Engine
justanothercell/logic_puzzle_solver
a solver for standard logic puzzles
marciamart/n-Queens
resolução do problema n-Queens com pySAT criado no google colaboratory