知识图谱>> clingo-solvers>> 返回
项目作者： atreyasha

项目描述 ：
Answer Set Programming (ASP): clingo solvers for NxN Sudoku, Yosenabe, Minotaur and Elevator games
高级语言： Vim script
项目地址: git://github.com/atreyasha/clingo-solvers.git
创建时间： 2018-11-11T15:52:43Z
项目社区：https://github.com/atreyasha/clingo-solvers
开源协议：MIT License
下载


clingo-solvers

This repository contains NxN-Sudoku, Yosenabe, Minotaur and Elevator game solvers implemented in clingo. The report for the final elevator project can be found here.

Dependencies

Install clingo onto your system, either via your package manager (recommended, if available) or building from source.

The source code in this repository was tested against v5.3.0 of clingo.

Usage

Source code for clingo solvers is available in the src directory. The test directory contains test instances of the respective games.

As an example, one can test the default 9x9 sudoku solver by executing:

  1. $ clingo ./test/test_sudoku.lp ./src/sudoku.lp 0

Known issue(s)

Based on local experiments, all solvers except the Minotaur solver in minotaur.lp and/or minotaur_alternative.lp succeeded in Yeti benchmark tests. Pull requests for an improved Minotaur solver are therefore very welcome.