clingo

Here are 4 public repositories matching this topic...

A VSCode Extension that uses the Clingo Answer Set Solver (bundled), developed by Potassco (University of Potsdam).

asp potato clingo answer-set-programming informaticup potassco

MiniZinc and Answer Set Programming encodings for IcoSoKu and its generalization 3coSoKu

asp minizinc clingo icosoku-solver icosoku-3d-puzzle icosoku

A node.js app which implements an ASP encoding that allows to solve every kind of sudoku 9x9.

nodejs asp sudoku clingo

Pure Javascript implementation of noqx.

solver clingo logic-puzzle

Add a description, image, and links to the clingo topic page so that developers can more easily learn about it.

To associate your repository with the clingo topic, visit your repo's landing page and select "manage topics."