Oracle>> Planner>> 返回
项目作者： GerardMT

项目描述 ：
Planing as satisfiability ad-hoc library.
高级语言： Scala
项目地址: git://github.com/GerardMT/Planner.git
创建时间： 2018-10-24T16:57:13Z
项目社区：https://github.com/GerardMT/Planner
开源协议：MIT License
下载


Planner

Planner is a simple library to ease the implementation of planning as satisfiability ad-hoc planners.

This library is a planning as satisfiability abstraction of internal of the project Snowman-Editor. An example of its ussage can be found in the Sokoban-Editor.

Features

  • Codify satisfiability problems without specifying the end language.
  • Support sequential search.

Languages supported:

  • SMTLib2

Solvers supported:

  • Yices 2 (through command line).