State-of-the-art solver for logic programming under the answer set semantics. read more of Clingo Answer Set Solver

Evaluates a partially given Sudoku Grid with respect to solvability and provides partial solutions or conflicts as feedback. read more of Sudoku Design Evaluator