EmbASP
latest

Documentation

  • Java implementation
  • Python implementation
  • C# implementation
  • Technical documentation

Examples

  • Shortest-path ASP Java
  • Shortest-path ASP Python
  • Shortest-path ASP C#
  • Blocks-world PDDL Java
  • Blocks-world PDDL Python
  • Blocks-world PDDL C#
  • Transitive Closure Datalog Java
  • Transitive Closure Datalog Python
  • Transitive Closure Datalog C#
  • Sudoku Android
EmbASP
  • Docs »
  • Search
  • Edit on GitHub

© Copyright 2020, DeMaCS-Unical Revision a484778b.

Built with Sphinx using a theme provided by Read the Docs.