Name		Name	Last commit message	Last commit date
API		API
CLI		CLI
citations		citations
css		css
img		img
README.md		README.md
_config.yml		_config.yml
index.html		index.html

Repository files navigation

kcbox-project.github.io

KCBox is a long-term project that aims at developping an open-source toolbox for knowledge compilation (KC) and KC-related reasoning tasks.

About

No description, website, or topics provided.

Custom properties

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages