krr-up/notebook krr-up/notebook

  • Stars
    star
    1
  • Language
    Jupyter Notebook
  • Created about 4 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
krr-up/notebook
github

krr-up

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

asp-macros

LaTeX macros for concepts from ASP (originally built for ASP book)
TeX
2
star
2

bibliography

πŸ“š BibTeX bibliography files of all papers referenced by the group
TeX
2
star
3

mapf-instance-generator

MAPF instance generator
Python
2
star
4

flatland

A collection of the ongoing research project into the Flatland competition. Check the murphy-dev branch for efforts that are currently being explored.
Python
2
star
5

benchmark-tool-guide

Guide to the Potassco benchmark tool
Shell
2
star
6

renopro

Reifying non-ground ASP programs.
Python
1
star
7

latex-style-comments

A scaled down version of Torsten's comments style that is hopefully more compatible
TeX
1
star
8

ucorexplain

We play around how to get explanations as a proof tree using UNSAT core techniques
Python
1
star