knowledge-compilation topic

List knowledge-compilation repositories

PySDD

53
Stars
17
Forks
Watchers

Python package for Sentential Decision Diagrams (SDD)

verified publisher icon wannesm

KCBox

21
Stars
5
Forks
Watchers

A toolbox for knowledge compilation

verified publisher icon meelgroup