Skip to content

Running Clingo as a FastAPI webservice to solve the Towers of Hanoi problem

License

Notifications You must be signed in to change notification settings

daveraja/toh_webservice

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

2 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

toh_webservice

Running Clingo as a FastAPI webservice to solve the Towers of Hanoi problem.

This is a simple example of using FastAPI as a webservice to call the Clingo ASP solver to solve instances of the Towers of Hanoi problem.

The encoding of Towers of Hanoi is taken directly from "Answer Set Solving in Practice", Gebser et al. 2013.

About

Running Clingo as a FastAPI webservice to solve the Towers of Hanoi problem

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages