Sign inSign up

savente/sdd-clib

By savente

•Updated over 6 years ago

A dockerfile for the SDD library from http://reasoning.cs.ucla.edu/sdd/

Image
0

281

savente/sdd-clib repository overview

⁠sdd-clib

A repository for the C code of the SDD library (http://reasoning.cs.ucla.edu/sdd/⁠)

Tag summary

Content type

Image

Digest

Size

90.1 MB

Last updated

over 6 years ago

docker pull savente/sdd-clib