Skip to content

potassco-asp-course/project-theory-solving-mini-clingcon

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
 
 
 
 
 
 

Repository files navigation

project-theory-solving-mini-clingcon

Project on implementing a minimal version of clingcon using theory solving.

Please update the script mini-clingcon.py.

There are no given tests for this project, but you should at least do the tests from the notebook.

About

Implementing a minimal version of clingcon

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages